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
- Traits: correctness-by-construction for free
- A verification-driven framework for iterative design of controllers
- An assertional proof of the stability and correctness of Natural Mergesort
- Ensuring correctness of model transformations while remaining decidable
This page was built for software: AutoProof
