Pages that link to "Item:Q3535366"
From MaRDI portal
The following pages link to The High Road to Formal Validation: (Q3535366):
Displayed 5 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Efficient approximate verification of B and Z models via symmetry markers (Q622591) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Operation caching and state compression for model checking of high-level models. How to have your cake and eat it (Q2165507) (← links)
- Directed Model Checking for B: An Evaluation and New Techniques (Q2999306) (← links)