Formális módszerek - Jegyzetek

Előadásfóliák, mintapéldák anyagai:

• A tantárgyhoz kapcsolódó előadásfóliák megtekinthetők (az előadások témáival szinkronban).

Ajánlott tankönyv:

• Pataricza András (szerk.): Formális módszerek az informatikában. TypoTeX Kiadó, 2005.

További ajánlott angol nyelvű szakirodalom:

• W. Reisig, G. Rozenberg (eds.): Lectures on Petri Nets. Vol I-II, Springer Verlag, 1998.
• D. Peled: Software Reliability Methods. Springer Verlag, 2001.
• E. M. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press, 2000.
• G. Holzmann: Design and Validation of Computer Protocols. Prentice Hall, 1991.