CTL(Computation Tree Logic:計算木論理)

・・・という記事を読みました。
状態遷移を定義し、ある状態に (なるか|ならないか) どうかを検証する。
面白い。
アカデミックな研究は面白いのだけれど、どこまで現場に役立てるのか。