Software Development
Tla Plus Generator
Generate and analyze TLA+ specifications for distributed systems verification
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
6e3149b04bc3afaf5106e1379314f2e84de30fb9aa56799d492feccb6a8d095c