PrototypeCommune
fraunhoferfokus/acsl-by-example
Public snapshots of "ACSL by Example"
- Propriétaire
- fraunhoferfokus (organisation)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 23
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2017
- Sujets
- frama-cacslwp-pluginformal-methodsformal-specificationformal-verificationc
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de fraunhoferfokus
Les 3 dépôts de fraunhoferfokus- fraunhoferfokus/deckschrubberÉtoiles : 283GoAlpha
- fraunhoferfokus/open-content-decryption-moduleÉtoiles : 130C++Prototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- AU-COBRA/ConCertÉtoiles : 129Rocq ProverPrototype
- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 123Rocq ProverPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
- rocq-community/cornÉtoiles : 117Rocq ProverPrototype