PrototypeCommon
fraunhoferfokus/acsl-by-example
Public snapshots of "ACSL by Example"
- Owner
- fraunhoferfokus (organization)
- Stars
- Stars: 128
- Forks
- Forks: 23
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- frama-cacslwp-pluginformal-methodsformal-specificationformal-verificationc
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by fraunhoferfokus
All 3 repos by fraunhoferfokus- fraunhoferfokus/deckschrubberStars: 283GoAlpha
- fraunhoferfokus/open-content-decryption-moduleStars: 130C++Prototype
Nearby in Rocq Prover
All Rocq Prover repos- AU-COBRA/ConCertStars: 129Rocq ProverPrototype
- uds-psl/MPCTTStars: 129Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype