PrototypeCommune
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
- Propriétaire
- tofgarion (compte personnel)
- Étoiles
- Étoiles : 168
- Forks
- Forks : 19
- Langage
- Ada
- Licence
- Aucune
- Création
- 2018
- Sujets
- formal-verificationformal-methodsformal-specificationada
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Ada
Tous les dépôts Ada- pesa1234/MT6000_cust_buildÉtoiles : 204AdaPrototype
- zertovitch/hacÉtoiles : 177AdaPrototype
- AdaCore/libadalangÉtoiles : 172AdaPrototype
- AdaCore/awsÉtoiles : 163AdaPrototype
- rod-chapman/SPARKNaClÉtoiles : 139AdaPrototype
- ada-game-framework/sdladaÉtoiles : 135AdaPrototype