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

65 best points · 8 comments · 4 Hacker News posts · 168 GitHub stars · View on GitHub

Hacker News discussions

• SPARK by Example (65 points, 8 comments, by pjmlp, 2018-11-15)
• SPARK Ada by Example (4 points, 0 comments, by nequo, 2022-11-07)
• Spark by Example (2 points, 0 comments, by Jtsummers, 2020-11-12)
• Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm (1 points, 0 comments, by todsacerdoti, 2022-11-19)