Qbricks / qbricks.github.ioLinks
☆6Updated 3 weeks ago
Alternatives and similar repositories for qbricks.github.io
Users that are interested in qbricks.github.io are comparing it to the libraries listed below
Sorting:
- A foundational framework for modular cryptographic proofs in Coq☆66Updated this week
- Collection of Distributed Protocol Verification Problems☆14Updated last year
- CertiCrypt Coq Framework☆35Updated 9 years ago
- TriCera: a model checker for C programs☆25Updated last month
- Basic TLA+ Examples☆12Updated 4 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆18Updated 9 months ago
- ☆27Updated last year
- An automated deductive program verifier based on concurrent separation logic☆20Updated 3 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last month
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆51Updated 2 months ago
- SampCert : Verified Differential Privacy☆79Updated 3 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated 10 months ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆31Updated 5 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- Some basic libraries for Coq.☆14Updated 3 years ago
- ☆53Updated this week
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 3 weeks ago
- Separation Logic Proofs in Lean☆41Updated 4 months ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆90Updated last week
- Ltac2 tutorial☆45Updated 2 years ago
- An automated deductive program verifier.☆42Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- The Termination Problem Database☆30Updated last week
- PL conference deadline countdowns☆61Updated 3 weeks ago
- Formalizing convex polyhedra in Coq☆25Updated last year
- Verifying the SCION architecture using Gobra☆11Updated this week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆26Updated 6 months ago