Description
Ada-based formal verification projects can use the SPARK 2014 tools and libraries from the GNAT FSF branch. Developers run tools such as `gnatprove` to analyze contracts, proofs, and program correctness properties. It reads source code and proof artifacts, and is intended for safety-critical software development workflows.