Explicit-State Model Checking

DOI10.1007/978-3-319-10575-8_5zbMath1392.68252OpenAlexW2804745155MaRDI QIDQ3176363

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)

Related Items (5)

Temporal Logic and Fair Discrete Systems ⋮ Combining Model Checking and Deduction ⋮ Operation caching and state compression for model checking of high-level models. How to have your cake and eat it ⋮ Towards better heuristics for solving bounded model checking problems ⋮ Inverse boundary value problem for the linearized Benney-Luke equation with nonlocal conditions

Uses Software

• SPIN

Cites Work

• The tic-tac-toe theory of gravity
• Model checking with bounded context switching
• Reasoning about infinite computations
• Partial-Order Reduction
• Abstraction and Abstraction Refinement
• Space/time trade-offs in hash coding with allowable errors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Explicit-State Model Checking