gneiss
Framework for platform-independent SPARK components
Archived
22 stars
8 watching
2 forks
Language: Ada
last commit: over 4 years ago
Linked from 1 awesome list
adacomponent-basedembeddedformal-methodsformal-verificationspark
ohenley/awesome-ada