Automatyczna weryfikacja

Wykład

Ćwiczenia:

Ocena wykladu i ćwiczeń przez studentów

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

Literatura do wykładu

• E.M. Clarke, O. Grumberg, D.A. Peled, Model checking, MIT Press, 1999
• B. Berard, M. Bidoit, A. Finkel, F. Laroussine, A. Petit, L. Petrucci, Ph. Schnoebelen with P. McKenzie, Systems and Software Verification. Model-Checking Techniques and Tools, Springer 2001
• Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Ofer Strichman, Yunshan Zhu: Bounded model checking, Advances in Computers 58: 118-149 (2003); lub Symbolic Model Checking without BDDs, proceedeings of TACAS 1999, 193-207.
• Rajeev Alur, Timed Automata, NATO ASI Summer School on Verification of Digital and Hybrid Systems, 1998
• dodatkowa literatura podana jest na stronie poprzedniej edycji tego wykladu.

System NuSmv

• Strona domowa systemu