#

gnatprove

Here are 5 public repositories matching this topic...

spat

HeisenbugLtd / spat

SPARK Proof Analysis Tool

proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis

Updated Oct 19, 2020
Ada

bladeacer / adacovex

Ada/SPARK formal verification and compliance toolchain.

cli spark tests developer-tools compliance ada cicd code-coverage do-178c docstrings gnatprove sbom github-actions alire

Updated Sep 28, 2026
Ada

damaki / gnatprove2xls

Convert GNATprove report files to an XLS spreadsheet

gnatprove spark-ada

Updated Mar 30, 2017
Python

nsailor / SpaceAda

A small subset of Ada targeting embedded systems.

rust parser embedded compiler llvm ada gnat gnatprove

Updated Apr 17, 2017
Rust

geeooff / DO-178C-training-ADA

Auto-formation Ada/SPARK et DO-178C : 13 modules vérifiés, preuve formelle SPARK (DO-333), couverture MC/DC, même cas d'étude FQMS DAL B que le dépôt frère en C++

training embedded spark aerospace francais ada formal-verification traceability do-178c avionics gnatprove safety-critical ravenscar ada-2022 requirements-based-testing mc-dc do-333

Updated Sep 19, 2026
Ada

Add this topic to your repo

To associate your repository with the gnatprove topic, visit your repo's landing page and select "manage topics."