Pages that link to "Item:Q5452598"
From MaRDI portal
The following pages link to Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598):
Displaying 10 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Automatic decidability and combinability (Q549666) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Extending Sledgehammer with SMT solvers (Q2351158) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- Correct Code Containing Containers (Q3012966) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
