The High Road to Formal Validation:
From MaRDI portal
Publication:3535366
DOI10.1007/978-3-540-87603-8_2zbMath1156.68473OpenAlexW1481983260MaRDI QIDQ3535366
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
Related Items (5)
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 ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Optimising the ProB model checker for B using partial order reduction
This page was built for publication: The High Road to Formal Validation: