Search results for "25 Years of Model Checking"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Limor Fix	Fifteen Years of Formal Property Verification in Intel.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	formal property verification, Model checking, formal specification
1	Orna Grumberg, Helmut Veith (eds.)	25 Years of Model Checking - History, Achievements, Perspectives	25 Years of Model Checking	2008	DBLP BibTeX RDF
1	Jean-Pierre Queille, Joseph Sifakis	Specification and Verification of Conurrent Systems in Cesar.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Randal E. Bryant	A View from the Engine Room: Computational Support for Symbolic Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Amir Pnueli, Aleksandr Zaks	On the Merits of Temporal Testers.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	From Church and Prior to PSL.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	E. Allen Emerson	The Beginning of Model Checking: A Personal Perspective.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	model-theoretic, origins, model checking, synthesis, history
1	Robert P. Kurshan	Verification Technology Transfer.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	New Challenges in Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	Logic model checking, grand challenge project, flash file system challenge, software reliability, software verification, software structure
1	David L. Dill	A Retrospective on Murphi.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Thomas A. Henzinger	Value Iteration.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Rajeev Alur	Model Checking: From Tools to Theory.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	The Birth of Model Checking.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, E. Allen Emerson	Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF

Displaying result #1 - #14 of 14 (100 per page; Change: )

Publications at "25 Years of Model Checking"( http://dblp.L3S.de/Venues/25_Years_of_Model_Checking )