A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University
☆17May 11, 2021Updated 4 years ago
Alternatives and similar repositories for raft-spin
Users that are interested in raft-spin are comparing it to the libraries listed below
Sorting:
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- 数值分析课程作业题、习题及补充（复习练习版）☆14Aug 26, 2024Updated last year
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- ☆15Apr 7, 2025Updated 11 months ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- 基于红外、可见光双光源的车辆目标检测☆16Apr 20, 2022Updated 3 years ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- A systems programming language with lexical effect handlers☆18Feb 24, 2026Updated 2 weeks ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated 2 months ago
- Transformer-based Label Set Generation for Multi-modal Multi-label Emotion Detection☆14Dec 16, 2021Updated 4 years ago
- Conway's Game of Life☆14Feb 10, 2019Updated 7 years ago
- Master thesis template for Computer Science at TU Delft☆13May 19, 2022Updated 3 years ago
- ☆13Sep 30, 2019Updated 6 years ago
- The ADUni course material, and extra info.☆14Sep 17, 2011Updated 14 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Aug 17, 2019Updated 6 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- ☆17May 9, 2022Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- prometheus 使用 alertmanager 告警到企业微信群中。此程序将企业微信机器人转为 webhook 方式，更方便 alertmanger 中配置调用。☆17Oct 8, 2022Updated 3 years ago
- Persistent Memory Test Suite☆14Apr 29, 2020Updated 5 years ago
- ☆17Jul 25, 2025Updated 7 months ago
- a collection of tools for GR(1) synthesis and related activities☆21Dec 12, 2025Updated 2 months ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- ☆21Mar 1, 2026Updated last week
- Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)☆23Oct 7, 2023Updated 2 years ago
- 一款用于快速验证漏洞的简易框架☆19Aug 27, 2021Updated 4 years ago
- Sandboxed judger for SYZOJ☆15Jun 19, 2017Updated 8 years ago
- Flying Drones☆21Apr 7, 2024Updated last year
- ☆14May 29, 2019Updated 6 years ago
- Chinese translation (and style modification) of olymp.sty☆23Jan 28, 2019Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm☆19Aug 22, 2016Updated 9 years ago
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆19Apr 27, 2023Updated 2 years ago