Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation eingebetteter Systeme - Wintersemester 2013/14
Literatur
Thomas Kropf - Introduction to Formal Hardware Verification, Springer-Verlag 1999 Christel Baier, Joost-Pieter Katoen - Principles of Model Checking, The MIT Press, 2008 |