The following pages link to SAFARI (Q40383):
Displaying 8 items.
- Decision procedures for flat array properties (Q287272) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Property-directed inference of universal invariants or proving their absence (Q1702932) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Search-Space Partitioning for Parallelizing SMT Solvers (Q3453241) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
