jklmnncontinuous-verification

0

Continuous Verification

This repository aims to show an example how to automatically prove Ada/SPARK software with Travis CI. The current process consists of downloading and installing the GPL versions of GNAT and SPARK and then build and prove the project.

Features

Continuous Integration - Automated formal verification for CI pipelines.

Continuous Verification

Features

Star history