Specl — Specification Language & Model Checker
Specl is a specification language and exhaustive model checker for concurrent and distributed systems. Modern replacement for TLA+/TLC with clean syntax, implicit frame semantics, and a fast Rust engine.