Verifikation eingebetteter Systeme - Wintersemester 2012/13

Literatur

Thomas Kropf - Introduction to Formal Hardware Verification, Springer-Verlag 1999

Christel Baier, Joost-Pieter Katoen - Principles of Model Checking, The MIT Press, 2008