Pages that link to "Item:Q3646165"
From MaRDI portal
The following pages link to MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS (Q3646165):
Displayed 4 items.
- Finite reasons for safety (Q2351397) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker (Q4991929) (← links)
- Generalization strategies for the verification of infinite state systems (Q5299583) (← links)