Lecture

Lab

USOS

Selected other tools

• Model-Checking Kit
• GOAL
• PRISM
• Java Pathfinder
• KeY
• Spec# and Boogie
• BLAST
• Astree

Interesting pages

• model-checking tools (Wikipedia)
• static analysis tools (Wikipedia)
• formal methods companies (Wikipedia)
• famous bugs
• baza danych YAHODA
• VLTS project, pictures
• BRICS Tools Home Page
• Petri Net World
• model-checking publications at CMU