SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A collections of small nifty demos/sample code that may help better layout data or structure project
SPARK formal verification automated with Travis CI
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Simulated railway network in SPARK/Ada