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