The High Road to Formal Validation:

DOI10.1007/978-3-540-87603-8_2zbMATH Open1156.68473OpenAlexW1481983260MaRDI QIDQ3535366FDOQ3535366

Authors: Michael Leuschel 

Publication date: 11 November 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-87603-8_2

Recommendations

• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1487860
• scientific article; zbMATH DE number 2087633
• Discriminative Model Checking
• scientific article; zbMATH DE number 88991

zbMATH Keywords

model checkingsymmetry reductionspintool supportB-method

Mathematics Subject Classification ID

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

Cited In (5)

• Optimising the ProB model checker for B using partial order reduction
• ASM-based formal design of an adaptivity component for a cloud system
• Efficient approximate verification of B and Z models via symmetry markers
• Operation caching and state compression for model checking of high-level models. How to have your cake and eat it
• Directed Model Checking for B: An Evaluation and New Techniques

This page was built for publication: The High Road to Formal Validation:

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