Description
Ada-based formal verification projects can use the current Git build of the SPARK 2014 tools and libraries. Developers run tools such as `gnatprove` to analyze contracts, proofs, and program correctness properties. Git builds may change behavior before stable releases, so verification environments should be pinned for audits.