spark-by-example

spark-by-example

https://github.com/tofgarion/spark-by-example

Ada152

2 years ago

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Search similar apps

License

Share

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Creator

tofgarion

Related apps