Highlights
- Pro
Lists (1)
Stars
8
results
for source starred repositories
written in TLA
Clear filter
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Specula: A framework for finding deep bugs in system code using TLA+
Scalable Distributed System Model Checking with Specification-Level State Exploration
Tool for automatically inferring inductive invariants of distributed protocols.
Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.