Alt-Ergo
From MaRDI portal
Software:17040
swMATH4888MaRDI QIDQ17040FDOQ17040
Author name not available (Why is that?)
Cited In (15)
- 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
- A non-linear arithmetic procedure for control-command software verification
- Modular inference of subprogram contracts for safety checking
- 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
- 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
