The High Road to Formal Validation:

DOI10.1007/978-3-540-87603-8_2MaRDI QIDQ3535366zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model checkingsymmetry reductionspintool supportB-method

Mathematics Subject Classification ID

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

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

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)