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
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Demos of multiplexed digital I/O for AdaPilot