konnov / fault-tolerant-benchmarksView external linksLinks
Fault-tolerant distributed algorithms encoded in a formal language
☆14Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for fault-tolerant-benchmarks
Users that are interested in fault-tolerant-benchmarks are comparing it to the libraries listed below
Sorting:
- Byzantine model checker☆21Mar 7, 2023Updated 2 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- Fuse driver to simulate slow disk IO for testing purposes☆15Jul 24, 2014Updated 11 years ago
- RFCs for changes to the TLA+ specification language☆11Mar 19, 2025Updated 10 months ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated last year
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆17Oct 23, 2012Updated 13 years ago
- uncov(er) is a tool that collects and processes code coverage reports.☆15Nov 26, 2025Updated 2 months ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆28Dec 16, 2022Updated 3 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 3 weeks ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Dec 4, 2018Updated 7 years ago
- Design-by-contract for Go1☆17Mar 16, 2019Updated 6 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Nov 18, 2022Updated 3 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- ☆30Mar 4, 2024Updated last year
- ☆24May 17, 2023Updated 2 years ago
- Send notifications when ChatGPT finishes generating an answer.☆12Oct 17, 2023Updated 2 years ago
- Python interpreter for TLA+ specifications☆116Jun 2, 2024Updated last year
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- :e-mail: A simple Cypherpunk message preprocessor that makes it easy to chain Type I anonymous remailers together.☆37Jul 4, 2015Updated 10 years ago
- Cloud storage client library☆53Feb 2, 2017Updated 9 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- Ethereum private blockchain monitoring tool☆11Sep 4, 2017Updated 8 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Feb 9, 2018Updated 8 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 months ago
- Nonblocking data structures☆12Jan 25, 2015Updated 11 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- ☆10Apr 9, 2015Updated 10 years ago
- Password manager for USB Armory☆37Sep 1, 2015Updated 10 years ago
- Code/instructions for various slides/demos I've given☆12Oct 27, 2017Updated 8 years ago