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
Ada
Stargazers
- 0x6e69636fParis
- achermannagementSydney
- AndrewHYiNYC
- anvesh
- artob@AsimovPlatform
- byrongibson
- damaki@AdaCore
- fasecityelma86
- GabrielC101Madison, WI
- iakashpaul
- ilvnSanta Clara, CA
- JackneillEvotrex
- JeffWhitledgeUnited States
- jeremy-w@bignerdranch
- juanbelenoCali, Colombia
- LarreaMikel
- lqdevDesert of the real
- mindcrimeFogbeam Labs
- okulevSofia, Bulgaria
- peppmo
- peterohanley
- qcohq3dm6
- radekgNürburgring
- riamfWarsaw/Poland
- Rivierg
- roberthluoSf Bay Area
- RobsonGapC6Bank
- senier@AdaCore
- sionescuMontreal
- swayson
- tmeissnerDresden, Germany
- tusharbihaniPune
- valpackettArgentina ⭐⭐⭐
- vsonnierFrance
- xvxxcalifornia
- zmower