joffreyhuguet / spark-by-example Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tofgarion/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