AutoProof
From MaRDI portal
Software:42662
swMATH30948MaRDI QIDQ42662FDOQ42662
Author name not available (Why is that?)
Source code repository: https://github.com/julian-tschannen/autoproof
Cited In (6)
- Verifying OpenJDK's sort method for generic collections
- Verifying Whiley programs with Boogie
- Ensuring Correctness of Model Transformations While Remaining Decidable
- Traits: correctness-by-construction for free
- An Assertional Proof of the Stability and Correctness of Natural Mergesort
- A verification-driven framework for iterative design of controllers
This page was built for software: AutoProof
