2009-02-15 CTL(Computation Tree Logic:計算木論理) ・・・という記事を読みました。 状態遷移を定義し、ある状態に (なるか|ならないか) どうかを検証する。 面白い。 アカデミックな研究は面白いのだけれど、どこまで現場に役立てるのか。