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:
Alire CI:

---