Seminar: Advanced Model Checking - Wintersemester 05/06

Literatur

1. McMillan:
Symbolic Model Checking
Kluwer Academic Publishers, 1993

2. Clarke, Grumberg, Long.
Model Checking and Abstraction
ACM TOPLAS 16(5):1512-1542, 1994

3. Clarke, Grumberg, Peled:
Model Checking
M.I.T. Press, 1999

4. Huth, Ryan:
Logic in Computer Science: Modelling and Reasoning about Systems
Cambridge University Press, 2000