Pages that link to "Item:Q1039842"
From MaRDI portal
The following pages link to Local proofs for global safety properties (Q1039842):
Displaying 8 items.
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- Local Symmetry and Compositional Verification (Q2891426) (← links)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Model Checking Concurrent Programs (Q3176376) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
