continuous-verification

GPL-3.0Ada

Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.

8 stars0 forks0 contributors

Overview

SPARK formal verification automated with Travis CI

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

7 years ago

CreatedSince 2017

Auto-fetched 20 hours ago

GitHub action to setup an Ada/SPARK dev environment

Continuous integration server and agent that helps automate the building, testing and deployment