PrototypeCommon
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
- Owner
- tofgarion (personal account)
- Stars
- Stars: 168
- Forks
- Forks: 19
- Language
- Ada
- License
- None
- Created
- 2018
- Topics
- formal-verificationformal-methodsformal-specificationada
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Ada
All Ada repos- pesa1234/MT6000_cust_buildStars: 204AdaPrototype
- zertovitch/hacStars: 177AdaPrototype
- AdaCore/libadalangStars: 172AdaPrototype
- AdaCore/awsStars: 163AdaPrototype
- rod-chapman/SPARKNaClStars: 139AdaPrototype
- ada-game-framework/sdladaStars: 135AdaPrototype