25 Years of Model Checking 2008

Orna Grumberg, Helmut Veith (Eds.): 25 Years of Model Checking - History, Achievements, Perspectives. Lecture Notes in Computer Science 5000 Springer 2008, ISBN 978-3-540-69849-4 BibTeX

Edmund M. Clarke:
The Birth of Model Checking. 1-26
Electronic Edition (link) BibTeX
E. Allen Emerson:
The Beginning of Model Checking: A Personal Perspective. 27-45
Electronic Edition (link) BibTeX
Robert P. Kurshan:
Verification Technology Transfer. 46-64
Electronic Edition (link) BibTeX
Gerard J. Holzmann, Rajeev Joshi, Alex Groce:
New Challenges in Model Checking. 65-76
Electronic Edition (link) BibTeX
David L. Dill:
A Retrospective on Murphi. 77-88
Electronic Edition (link) BibTeX
Rajeev Alur:
Model Checking: From Tools to Theory. 89-106
Electronic Edition (link) BibTeX
Krishnendu Chatterjee, Thomas A. Henzinger:
Value Iteration. 107-138
Electronic Edition (link) BibTeX
Limor Fix:
Fifteen Years of Formal Property Verification in Intel. 139-144
Electronic Edition (link) BibTeX
Randal E. Bryant:
A View from the Engine Room: Computational Support for Symbolic Model Checking. 145-149
Electronic Edition (link) BibTeX
Moshe Y. Vardi:
From Church and Prior to PSL. 150-171
Electronic Edition (link) BibTeX
Amir Pnueli, Aleksandr Zaks:
On the Merits of Temporal Testers. 172-195
Electronic Edition (link) BibTeX
Edmund M. Clarke, E. Allen Emerson:
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. 196-215
Electronic Edition (link) BibTeX
Jean-Pierre Queille, Joseph Sifakis:
Specification and Verification of Conurrent Systems in Cesar. 216-230
Electronic Edition (link) BibTeX