25 years of model checking. History, achievements, perspectives

DOI10.1007/978-3-540-69850-0MaRDI QIDQ931876zbMATH OpenOpenAlexFDO

Authors

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

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

Cited in

(19)

• Survey on Directed Model Checking
• On the Complexity of Branching-Time Logics
• Generate \& check method for verifying transition systems in CafeOBJ
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• Generating models of infinite-state communication protocols using regular inference with abstraction
• Transfer of model checking to industrial practice
• An accessible verification environment for UML models of services
• Proof systems for planning under 0-approximation semantics
• Algebraic modal correspondence: Sahlqvist and beyond
• The tail-recursive fragment of timed recursive CTL
• Compositional CSP traces refinement checking
• Metric temporal reasoning with less than two clocks
• Branching-time logics repeatedly referring to states
• Introduction to model checking
• Tutorial on Model Checking: Modelling and Verification in Computer Science
• Model-checking precision agriculture logistics: the case of the differential harvest
• Practical abstractions for automated verification of message passing concurrency
• Branching-time logics with path relativisation
• The Beginning of Model Checking: A Personal Perspective

This page was built for publication: 25 years of model checking. History, achievements, perspectives

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