Gnatprove

Automatic formal verification of SPARK code

Author:
Maintainer: chouteau@adacore.com
License: GPL-3.0-or-later
Version: 11.2.3
Dependencies: No dependency.
Tags: No tags.
Badge:

---