25 years of model checking. History, achievements, perspectives

DOI10.1007/978-3-540-69850-0zbMath1139.68003OpenAlexW2506987745MaRDI QIDQ931876

No author found.

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Metric temporal reasoning with less than two clocks, Introduction to Model Checking, Transfer of Model Checking to Industrial Practice, Algebraic modal correspondence: Sahlqvist and beyond, Branching-time logics with path relativisation, An accessible verification environment for UML models of services, Proof systems for planning under 0-approximation semantics, The tail-recursive fragment of timed recursive CTL, Model-checking precision agriculture logistics: the case of the differential harvest, Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms, Compositional CSP Traces Refinement Checking, Generating models of infinite-state communication protocols using regular inference with abstraction, Tutorial on Model Checking: Modelling and Verification in Computer Science, Survey on Directed Model Checking, On the Complexity of Branching-Time Logics, Branching-time logics repeatedly referring to states, Generate & Check Method for Verifying Transition Systems in CafeOBJ