The following pages link to Abstractions from proofs (Q3452263):
Displayed 8 items.
- Automatically Refining Abstract Interpretations (Q5458344) (← links)
- Interpolation and Symbol Elimination in Vampire (Q5747760) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (Q5892496) (← links)
- SMT-based verification of program changes through summary repair (Q6056638) (← links)
- Verification Modulo theories (Q6056642) (← links)
- SAT-based invariant inference and its relation to concept learning (Q6173099) (← links)
- Synthesizing history and prophecy variables for symbolic model checking (Q6174405) (← links)