Automatyczna weryfikacja
Semestr letni 2006/2007
Wykład
Poniedziałek 14:15-16:00, sala 4
Ćwiczenia:
Poniedziałek 16:15-18:00, sala 4
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.
Zadania z listy 5 znajdują się tutaj, zadanie z listy 10 tutaj.
System NuSmv