Seminar: Advanced Model Checking - Wintersemester 05/06

Material

Themen

01. D. Parker - Implementation of Symbolic Model Checking for Probabilistic Systems	Dissertation
02. E.M. Clarke - Model Checking	Buch
03. R. Alur et al. - Model-Checking in Dense Real-time	Zeitschriften-Artikel
04. T. Henzinger et al. - Symbolic Model Checking for Real-Time Systems	Zeitschriften-Artikel
05. L. Lamport - Real-Time Model Checking is Really Simple	Konferenz-Veroeffentlichung
06. R. Alur and D.L. Dill - A Theory of Timed Automata	Zeitschriften-Artikel
07. B. Li et al. - Abstraction Refinement in Symbolic Model Checking Using Satisfiability as the Only Decision Procedure	Journal Artikel
08. P. Chauhan et al. - Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis	Konferenz-Veroeffentlichung
09. R. Alur et al. - Counter-Example Guided Predicate Abstraction of Hybrid Systems	Zeitschriften-Artikel + Konferenz-Veroeffentlichung
10. A. Biere et al. - Bounded Model Checking	Zeitschriften-Artikel
11. O. Strichman - Accelerating Bounded Model Checking of Safety Properties	Zeitschriften-Artikel
12. L. de Moura et al. - Bounded Model Checking and Induction: From Refutation to Verification	Konferenz-Veroeffentlichung
13. J. Bohn et al. - First-Order-CTL Model Checking	Konferenz-Veroeffentlichung
14. A. Finkel and J. Leroux. How to compose Presburger-accelerations: Applications to broadcast protocols.	Konferenz-Veroeffentlichung
15. T. Nopper and C. Scholl: Symbolische ModellprÃ¼fung unvollstÃ¤ndiger Designs
16. K. McMillan: Symbolic Model Checking	Buch
17. J.R. Burch et. al.: Symbolic model checking: 10^20 states and beyond	Zeitschriften-Artikel
18. O. Lichtenstein and A. Pnueli: Checking That Finite State Concurrent Programs Satisfy Their Linear Specification	Konferenz-Veroeffentlichung
19. E. Clarke et. al.: Another Look at LTL Model Checking	Zeitschriften-Artikel