verse-lab / bythosLinks
Compositional Verification of Composite Byzantine Protocols
☆13Updated last year
Alternatives and similar repositories for bythos
Users that are interested in bythos are comparing it to the libraries listed below
Sorting:
- ☆30Updated last year
- ☆75Updated 3 weeks ago
- Definition of the Viper intermediate verification language.☆95Updated this week
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆127Updated this week
- A verifier for automated and interactive proofs about transition systems.☆180Updated last month
- Separation Logic Proofs in Lean☆47Updated 2 weeks ago
- ☆54Updated 3 months ago
- ☆70Updated 5 months ago
- Most influential papers in programming languages☆58Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆120Updated 8 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆86Updated last week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆128Updated last week
- Armv8 Native Code Symbolic Simulator in Lean☆96Updated 2 months ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆21Updated 3 weeks ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Updated last year
- ☆15Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆103Updated 2 weeks ago
- Libraries useful for Dafny programs☆48Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 5 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆148Updated this week
- ☆134Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆73Updated this week
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated 2 weeks ago
- Communication between Coq and SAT/SMT solvers☆164Updated last week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 4 years ago
- Rocqet proof language☆28Updated 6 months ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated last week
- PL conference deadline countdowns☆65Updated 2 weeks ago
- VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …☆47Updated last year