Jahob

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