Compositional Verification and 3-Valued Abstractions Join Forces

DOI10.1007/978-3-540-74061-2_5zbMath1211.68256OpenAlexW1509617869MaRDI QIDQ3611995

Sharon Shoham, Orna Grumberg

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

Mathematics Subject Classification ID

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

Related Items (5)

Abstraction and Abstraction Refinement ⋮ Compositional verification and 3-valued abstractions join forces ⋮ Compositional Abstraction for Stochastic Systems ⋮ Local proofs for global safety properties ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement

This page was built for publication: Compositional Verification and 3-Valued Abstractions Join Forces