Alt-Ergo

swMATH4888MaRDI QIDQ17040FDOQ17040

Author name not available (Why is that?)

Official website: https://alt-ergo.ocamlpro.com/

Source code repository: https://github.com/OCamlPro/alt-ergo

Cited In (27)

• Verifying Whiley programs with Boogie
• checkbashisms
• A set solver for finite set relation algebra
• Canonized Rewriting and Ground AC Completion Modulo Shostak Theories
• \textsf{CC(X)}: semantic combination of congruence closure with solvable theories
• Combining top-down and bottom-up techniques in program derivation
• A non-linear arithmetic procedure for control-command software verification
• Modular inference of subprogram contracts for safety checking
• Building high integrity applications with SPARK
• SPARKSkein
• Verification conditions for source-level imperative programs
• CRlibm
• Jahob
• Drools
• Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation
• Correct code containing containers
• kv
• STLlint
• Computer-assisted verification of four interval arithmetic operators
• CoLiS
• Shellcheck
• Whiley
• JMLAutoTest
• Whiteoak
• Semi-persistent Data Structures
• A formally verified interpreter for a shell-like programming language
• Practical realisation and elimination of an ECC-related software bug attack

This page was built for software: Alt-Ergo