continuous-verification

github.comtool

SPARK formal verification automated with Travis CI.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Deployment > Continuous Integration: “SPARK formal verification automated with Travis CI.”