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