Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
No abstract available.
DOI 10.1007/978-3-540-73368-3_51
Related papers
- CPAchecker: A Tool for Configurable Software Verification CAV 2011
- Type-Checking CRDT Convergence PLDI 2023
- Rehearsal: a configuration verification tool for puppet PLDI 2016
- Asserting reliable convergence for configuration management scripts OOPSLA 2016
- Learning invariants using decision trees and implication counterexamples POPL 2016
- Concerto: a framework for combined concrete and abstract interpretation POPL 2019
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018
- CPV: A Circuit-Based Program Verifier TACAS 2024