TLA+
https://gyazo.com/1eda3e5b30209eb28d52ee4f21ded525
Splash window image (c) Edward Lamport
CLI から使えるみたいけどおとなしく IDE 使ったほうがよさそう 何もしない一番簡単なコード
code:tla
---------------------------- MODULE statemachine ----------------------------
Init == TRUE \/ FALSE
Next == Init
=============================================================================
Init は初期状態、Next は次に取りうる状態を表す。TRUE は真、FALSE は偽、\/ は$ \lor（または）