Local Proofs for Global Safety Properties
From MaRDI portal
Publication:5429316
DOI10.1007/978-3-540-73368-3_9zbMath1135.68470OpenAlexW1566412221MaRDI QIDQ5429316
Kedar S. Namjoshi, Ariel Cohen
Publication date: 29 November 2007
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73368-3_9
Related Items
Local Symmetry and Compositional Verification ⋮ Compositionality Entails Sequentializability ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
This page was built for publication: Local Proofs for Global Safety Properties