Compositional Verification and 3-Valued Abstractions Join Forces
From MaRDI portal
Publication:3611995
DOI10.1007/978-3-540-74061-2_5zbMath1211.68256MaRDI QIDQ3611995
Publication date: 3 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74061-2_5
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A framework for compositional verification of multi-valued systems via abstraction-refinement, Local proofs for global safety properties, Compositional verification and 3-valued abstractions join forces, Abstraction and Abstraction Refinement, Compositional Abstraction for Stochastic Systems