Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
Materialien
Vorlesungsmaterial


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