The following pages link to Jahob (Q24314):
Displaying 11 items.
- Automatic decidability and combinability (Q549666) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- On automation in the verification of software barriers: experience report (Q2351145) (← 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)
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic (Q3608775) (← links)
- Shape Analysis of Low-Level C with Overlapping Structures (Q3656885) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
