Alt-Ergo
From MaRDI portal
Software:17040
swMATH4888MaRDI QIDQ17040FDOQ17040
Author name not available (Why is that?)
Cited In (15)
- Verifying Whiley programs with Boogie
- Practical Realisation and Elimination of an ECC-Related Software Bug Attack
- Combining Top-Down and Bottom-Up Techniques in Program Derivation
- 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
- A non-linear arithmetic procedure for control-command software verification
- Modular inference of subprogram contracts for safety checking
- Verification conditions for source-level imperative programs
- Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation
- Computer-assisted verification of four interval arithmetic operators
- Building High Integrity Applications with SPARK
- Semi-persistent Data Structures
- A formally verified interpreter for a shell-like programming language
- Correct Code Containing Containers
This page was built for software: Alt-Ergo
