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