Alire

gnatprove

v11.2.3

Automatic formal verification of SPARK code

No README available for this crate.

Install

Globally install this crate:

alr install gnatprove

Add to your project:

alr with gnatprove

Crate Information

Versions

  1. v15.1.0
  2. v14.1.1
  3. v13.2.1
  4. v12.1.1
  5. v11.2.3

Maintainers

Maintainers (GitHub pseudo)

Fabien-Chouteau

Release Date

last year

First Release

2/29/2024

License

GPL-3.0-or-later

Statistics

Dependencies: 0

Dependents: 3

Versions: 5

Dependents

coap_spark
elevator
program_proofs_in_spark