The following pages link to EUREKA (Q32792):
Displaying 3 items.
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic (Q3540082) (← links)