Operation caching and state compression for model checking of high-level models. How to have your cake and eat it

DOI10.1007/978-3-031-07727-2_8MaRDI QIDQ2165507zbMATH OpenOpenAlexFDO

Authors Michael Leuschel

Publication date 19 August 2022

Full work available at URL https://doi.org/10.1007/978-3-031-07727-2_8

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1903381
• Search-Order Independent State Caching
• Model Checking Software
• Optimising the ProB model checker for B using partial order reduction
• Model Checking Software

Cites work

• Efficient approximate verification of B and Z models via symmetry markers
• Explicit-state model checking
• Modeling in Event B. System and software engineering.
• The B-Book
• The High Road to Formal Validation:

Cited in

(2)

• scientific article; zbMATH DE number 1903381 (Why is no real title available?)
• Model Checking Software

This page was built for publication: Operation caching and state compression for model checking of high-level models. How to have your cake and eat it

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