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_8zbMath1502.68185OpenAlexW4285251330MaRDI QIDQ2165507

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)

Cites Work

• Unnamed Item
• Efficient approximate verification of B and Z models via symmetry markers
• Explicit-State Model Checking
• The High Road to Formal Validation:
• The B-Book

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