Wykład monograficzny
Praktyczne metody weryfikacji
semestr letni 2004/2005
- Termin:
- wykład: poniedzialki 10:15 - 11:45, s. 5790
- laboratorium: wtorki 12:15 - 13:45, s. 3070
- Opis wykładu
- Literatura:
- E.M. Clarke, O. Grumberg, D.A. Peled Model Checking, MIT Press, 2002.
- B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, P. McKenzie
Systems and Software Verification, Springer, 2001.
- K.L.McMillan Symbolic Model Checking, praca doktorska, 1992.
- K.L.McMillan The SMV System,
2000 (plik .ps).
- K.L.McMillan Getting started with SMV,
1999 (plik .ps).
- G. J. Holzmann The SPIN Model Checker, Pearson Educational, 2003.
- A. Biere, A. Cimatti, E.M. Clarke, O. Strichman, Y. Zhu
Bounded Model Checking,
Advances in Computers 58, 2003.
- R. Alur, D. L. Dill A Theory of Timed Automata, Theoretical Computer Science 125:183-235, 1994.
- R. Alur Timed Automata, Proc. CAV'99, LNCS 1633, 8-22, Springer, 1999.
- Prezentacje:
- Narzędzia
- Interesujące strony:
sl malpa mimuw