GitHub repository: tofgarion/spark-by-example
Primary language: Ada
Created: 2018-05-09T07:59:37Z
Description: SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada