Gnatprove

Automatic formal verification of SPARK code

Author:
Maintainer: chouteau@adacore.com
License: GPL-3.0-or-later
Version: 12.1.1
Dependencies: No dependency.
Tags: No tags.
Badge: Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/gnatprove.json

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

Alire CI: