TLA+ Web
TLC Model Checker in the Browser
Spec.tla
Spec.cfg
Model Checking
⏳ Loading CheerpJ...
Workers
Deadlock
Press ▶ Run TLC to check the model. Edit Spec.tla and Spec.cfg using the tabs on the left.