Alire

Gnatprove

Website:

Author:

Maintainer:

chouteau@adacore.com

License:

GPL-3.0-or-later

Version:

14.1.1

Alire CI:

Dependencies:

No dependency.

Dependents:

Badge:

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/gnatprove.json

Automatic formal verification of SPARK code