Cited in
(20)- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Correct code containing containers
- On automation in the verification of software barriers: experience report
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
- Automatic decidability and combinability
- Encoding monomorphic and polymorphic types
- Theory decision by decomposition
- JMLUnit
- Alt-Ergo
- SPASS+T
- Checkfence
- VeriCool
- STLlint
- Verifying Whiley programs with Boogie
- Whiley
- JMLAutoTest
- Whiteoak
- Extending Sledgehammer with SMT solvers
- Translating higher-order clauses to first-order clauses
- Shape analysis of low-level C with overlapping structures
This page was built for software: Jahob
