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