Alt-Ergo
From MaRDI portal
Software:17040
No author found.
Related Items
A set solver for finite set relation algebra ⋮ Practical Realisation and Elimination of an ECC-Related Software Bug Attack ⋮ A formally verified interpreter for a shell-like programming language ⋮ Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation ⋮ Modular inference of subprogram contracts for safety checking ⋮ Computer-assisted verification of four interval arithmetic operators ⋮ Building High Integrity Applications with SPARK ⋮ Verification conditions for source-level imperative programs ⋮ Canonized Rewriting and Ground AC Completion Modulo Shostak Theories ⋮ Correct Code Containing Containers ⋮ Combining Top-Down and Bottom-Up Techniques in Program Derivation ⋮ Semi-persistent Data Structures ⋮ A non-linear arithmetic procedure for control-command software verification ⋮ CC(X): Semantic Combination of Congruence Closure with Solvable Theories ⋮ Verifying Whiley programs with Boogie
This page was built for software: Alt-Ergo
