AutoProof
From MaRDI portal
Software:42662
No author found.
Source code repository: https://github.com/julian-tschannen/autoproof
Related Items (6)
An Assertional Proof of the Stability and Correctness of Natural Mergesort ⋮ Ensuring Correctness of Model Transformations While Remaining Decidable ⋮ Traits: correctness-by-construction for free ⋮ Verifying OpenJDK's sort method for generic collections ⋮ A verification-driven framework for iterative design of controllers ⋮ Verifying Whiley programs with Boogie
This page was built for software: AutoProof
