Linux Mint
My Places
Sign in
Community
Software
Users
Moderation
Beta Testing
ISO Images
Teams
why3-examples
Examples for the why3 verification platform
http://why3.lri.fr/
0
no reviews
Install
This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.