Jahob
From MaRDI portal
Software:24314
swMATH12385MaRDI QIDQ24314FDOQ24314
Author name not available (Why is that?)
Cited In (11)
- 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
- Extending Sledgehammer with SMT solvers
- Translating higher-order clauses to first-order clauses
- Encoding Monomorphic and Polymorphic Types
- Correct Code Containing Containers
This page was built for software: Jahob
