Pages that link to "Item:Q1664399"
From MaRDI portal
The following pages link to Cell morphing: from array programs to array-free Horn clauses (Q1664399):
Displaying 7 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Reasoning in the theory of heap: satisfiability and interpolation (Q2119112) (← links)
- Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
- Verifying Array Manipulating Programs with Full-Program Induction (Q5039501) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Automatic program instrumentation for automatic verification (Q6535688) (← links)
