The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A Verified Compiler for Gallina, Written in Gallina
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada