Proof in Use

A gallery of examples in Why3 and SPARK developed as part of ProofInUse activities is available on the website of Toccata Inria team.

 

Sponsors

AdaCore Altran CNRS Inria