Cyber-Physical Systems - Discrete Models - Winter Term 2015/16

literature

C. Baier, J.-P. Katoen, Principles of Model Checking, MIT, 2008, ISBN 9780262026499

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, Systems and Software Verification, Springer, 2001, ISBN 3642074782

E. Clarke, O. Grumberg, D. Peled, Model Checking, MIT, 1999, ISBN 9780262032704

T. Kropf, Introduction to Formal Hardware Verification, Springer, 1999, ISBN 3540654453

D. Peled, Software Reliability Methods, Springer, 2001, ISBN 9781475735406