Satisfiability Modulo Heap-Based Programs
No abstract available.
Related papers
- Separation Logic Modulo Theories APLAS 2013
- Satisfiability Modulo Recursive Programs SAS 2011
- Combined Satisfiability Modulo Parametric Theories TACAS 2007
- Efficient Interpolant Generation in Satisfiability Modulo Theories TACAS 2008
- Satisfiability Modulo Custom Theories in Z3 VMCAI 2023
- A Tutorial on Satisfiability Modulo Theories CAV 2007
- SMT-COMP: Satisfiability Modulo Theories Competition CAV 2005
- Back to the future: revisiting precise program verification using SMT solvers POPL 2008