Pages that link to "Item:Q5901914"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5901914):
Displaying 9 items.
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Counter Abstraction in the CSP/FDR setting (Q2810979) (← links)
- An Assume Guarantee Approach for Checking Quantified Array Assertions (Q3067480) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (Q5191104) (← links)
