Alt-Ergo
From MaRDI portal
Cited in
(29)- Verifying Whiley programs with Boogie
- 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
- Modular inference of subprogram contracts for safety checking
- A non-linear arithmetic procedure for control-command software verification
- Cocktail
- COMBINE
- SPARKSkein
- CRlibm
- Jahob
- Drools
- kv
- STLlint
- Building high integrity applications with SPARK
- Verification conditions for source-level imperative programs
- Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation
- Correct code containing containers
- Computer-assisted verification of four interval arithmetic operators
- CoLiS
- Shellcheck
- Whiley
- A formally verified interpreter for a shell-like programming language
- Semi-persistent Data Structures
- checkbashisms
- Practical realisation and elimination of an ECC-related software bug attack
- JMLAutoTest
- Whiteoak
This page was built for software: Alt-Ergo