Pages that link to "Item:Q2894271"
From MaRDI portal
The following pages link to From Under-Approximations to Over-Approximations and Back (Q2894271):
Displaying 10 items.
- UFO (Q21551) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- A unifying view on SMT-based software verification (Q1703012) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Learning inductive invariants by sampling from frequency distributions (Q2225478) (← links)
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
