Explicit-state model checking

DOI10.1007/978-3-319-10575-8_5MaRDI QIDQ3176363zbMATH OpenOpenAlexFDO

Authors Gerard J. Holzmann

Publication date 20 July 2018

Published in Handbook of Model Checking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10575-8_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Quo vadis explicit-state model checking
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 2080188
• Introduction to model checking

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 177248 (Why is no real title available?)
• scientific article; zbMATH DE number 710624 (Why is no real title available?)
• scientific article; zbMATH DE number 1069483 (Why is no real title available?)
• scientific article; zbMATH DE number 1759609 (Why is no real title available?)
• Abstraction and abstraction refinement
• Model checking with bounded context switching
• Partial-Order Reduction
• Reasoning about infinite computations
• Space/time trade-offs in hash coding with allowable errors
• The tic-tac-toe theory of gravity

Cited in

(13)

• Inverse boundary value problem for the linearized Benney-Luke equation with nonlocal conditions
• Quo vadis explicit-state model checking
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• Model Checking Software
• Model Checking Software
• scientific article; zbMATH DE number 2087633 (Why is no real title available?)
• Verification: Theory and Practice
• Temporal logic and fair discrete systems
• Model Checking Software
• Operation caching and state compression for model checking of high-level models. How to have your cake and eat it
• Combining Model Checking and Deduction
• Towards better heuristics for solving bounded model checking problems
• Hardware acceleration for model checking

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Explicit-state model checking

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