Pages that link to "Item:Q453505"
From MaRDI portal
The following pages link to Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505):
Displayed 4 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Data abstraction: a general framework to handle program verification of data structures (Q2145329) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Lemmaless induction in trace logic (Q6160563) (← links)