The Beginning of Model Checking: A Personal Perspective

DOI10.1007/978-3-540-69850-0_2zbMath1142.68047OpenAlexW1606452969MaRDI QIDQ3512431

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

synthesishistorymodel checkingfuture perspectivesmodel-theoretic account

Mathematics Subject Classification ID

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

Related Items (8)

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 ⋮ All congruences below stability-preserving fair testing or CFFD ⋮ Unnamed Item ⋮ Runtime verification for dynamic architectures ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ A proof theory for model checking

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