⊨
TLA
+
Editor
▶
Run
■
Stop
Ready
MEM
—
📄
Hello.tla
⚙
Hello.cfg
📋
Output
⊳
Click
Run
to start model checking.
The TLC model checker output will appear here.