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

5 mentions on Hacker News by 5 people: 4 stories, 1 comment · first 2018-11-15 · latest 2022-11-19

Mentions per year 5 mentions · busiest year 2020 (2)

20082026

All Stories Comments Newest Top Oldest

…SPARK examples for the curious: * http://docs.adacore.com/spark2014-docs/html/ug/en/source/bas... * https://github.com/tofgarion/spark-by-example
comment by MaxBarraclough · 2020-07-30 · in Dafny: Verification-Aware Programming Language