Wybrane inne narzędzia
Interesujące strony
- narzędzia do model-checking'u (Wikipedia)
- narzędzia do analizy statycznej programów (Wikipedia)
- firmy oferujące usługi oparte na metodach formalnych (Wikipedia)
- słynne błędy
- baza danych YAHODA
- projekt VLTS, obrazki
- metody formalne w WWW Virtual Library
- systemy współbieżne tamże
- BRICS Tools Home Page
- Concurrency tools at Oxford
- Petri Net World
- publikacje o weryfikacji modelowej