Automatyczna weryfikacja

Semestr letni 2003/2004

Środa 14:15-16:00, sala 32

Środa 16:15-18:00, sala 36

Egzamin: 23 czerwca 11:30--14:00, sala 31

Listy zadań: 1 2 3 4 5 6 7 8 9 10 11 12

Literatura do wykładu

E.M. Clarke, O. Grumberg, D.A. Peled, Model checking, MIT Press,1999
E.M.Clarke, O. Grumberg, D.E. Long, Verification Tools for Finite-State Concurrent Systems LNCS 803, in the proceedings of REX school/symposium on A decade of concurrency: reflections and perspectives, Noordwijkerhout, The Netherlands, June 1993.
(Ten plik nie wszędzie chce się otworzyć; inne wersje można znależć tutaj.)
Ken McMillan, Symbolic Model Checking, PhD thesis, CMU, 1992
M. Vardi, An automata-theoretic approach to linear temporal logic. In Logics for Concurrency: Structure versus Automata, Springer-Verlag, Lecture Notes in Computer Science 1043, 1996, pp. 238-266.

System SMV

System SPIN

System Uppaal