Program
Verification
Book

WhyML

the language of the Why3 framework

Specification format

Links

https://why3.lri.fr/manual.pdf (Chapter 7 is "The WhyML Language Reference")

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.