The High Road to Formal Validation:
From MaRDI portal
Publication:3535366
Recommendations
Cited in
(5)- Directed Model Checking for B: An Evaluation and New Techniques
- Efficient approximate verification of B and Z models via symmetry markers
- Optimising the ProB model checker for B using partial order reduction
- ASM-based formal design of an adaptivity component for a cloud system
- Operation caching and state compression for model checking of high-level models. How to have your cake and eat it
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)