The Beginning of Model Checking: A Personal Perspective

DOI10.1007/978-3-540-69850-0_2MaRDI QIDQ3512431zbMATH OpenOpenAlexFDO

Authors E. Allen Emerson

Publication date 15 July 2008

Published in 25 Years of Model Checking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69850-0_2

zbMATH Keywords

synthesismodel checkinghistoryfuture perspectivesmodel-theoretic account

Mathematics Subject Classification ID

History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The Birth of Model Checking
• scientific article; zbMATH DE number 1487860
• Model Checking: From Tools to Theory
• 25 years of model checking. History, achievements, perspectives
• scientific article; zbMATH DE number 2080188
• Introduction to model checking
• scientific article; zbMATH DE number 1746645
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

Cited in

(11)

• Meanings of model checking
• The Birth of Model Checking
• Completeness and decidability results for CTL in constructive type theory
• Transfer of model checking to industrial practice
• Why there is no general solution to the problem of software verification
• Runtime verification for dynamic architectures
• A proof theory for model checking: an extended abstract
• From Philosophical to Industrial Logics
• All congruences below stability-preserving fair testing or CFFD
• A proof theory for model checking
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

This page was built for publication: The Beginning of Model Checking: A Personal Perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512431)