PlusCal
https://lamport.azurewebsites.net/tla/tutorial/intro.html
2009 年に
Leslie B. Lamport
氏によって開発された
形式仕様言語
TLA+
をプログラマが使いやすいように開発された
TLA+ にコンパイルされる