swMATH12385MaRDI QIDQ24314FDOQ24314
Author name not available (Why is that?)
Official website: http://lara.epfl.ch/w/jahob_system
Cited In (19)
- 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
- On automation in the verification of software barriers: experience report
- Alt-Ergo
- SPASS+T
- Checkfence
- VeriCool
- Encoding monomorphic and polymorphic types
- Correct code containing containers
- STLlint
- Extending Sledgehammer with SMT solvers
- Whiley
- Translating higher-order clauses to first-order clauses
- JMLAutoTest
- Whiteoak
This page was built for software: Jahob
