Pages that link to "Item:Q3611995"
From MaRDI portal
The following pages link to Compositional Verification and 3-Valued Abstractions Join Forces (Q3611995):
Displaying 5 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Local proofs for global safety properties (Q1039842) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Compositional Abstraction for Stochastic Systems (Q3648832) (← links)