GitPlanet
All Git Users → tofgarion

1 open source projects by tofgarion

[ Open user page on Github ]
1. Spark By Example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
✭ 118
formal-methods
1-1 of 1 user projects