Sign in
specl.
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
github.com/danwt/specl
by
@danwt
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
