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

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