namasikanam / raft-spin
A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
☆15Updated 3 years ago
Alternatives and similar repositories for raft-spin:
Users that are interested in raft-spin are comparing it to the libraries listed below
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 11 months ago
- In Spec We Trust☆34Updated this week
- ☆26Updated last year
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Most influential papers in programming languages☆55Updated 2 months ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated 11 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated 3 weeks ago
- ☆24Updated last month
- ☆31Updated 2 years ago
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- ☆9Updated 6 months ago
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- ☆12Updated this week
- Program synthesis class taught by Loris D'Antoni☆27Updated 3 months ago
- ☆47Updated 4 months ago
- PL conference deadline countdowns☆57Updated this week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆32Updated 6 months ago
- ntype cafe summer school resources☆136Updated 9 months ago
- Course website for Systems Verification Fall 2024☆11Updated 2 weeks ago
- ☆13Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 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…☆91Updated 2 weeks ago
- ☆17Updated 2 years ago
- Run TLC in cmd☆15Updated last year
- A compiler from TIP to llvm bitcode☆68Updated 4 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last month
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 3 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated last week