continuous-verification

SPARK formal verification automated with Travis CI

9 stars

4 watching

0 forks

Language: Ada

last commit: over 5 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

ohenley/awesome-ada