The Beginning of Model Checking: A Personal Perspective
DOI10.1007/978-3-540-69850-0_2zbMATH Open1142.68047OpenAlexW1606452969MaRDI QIDQ3512431FDOQ3512431
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
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
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)
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)
