2009-10-04 LTSA(2) 2回目です。 前回、LTSAで何ができるか書き忘れた。一言で言うと、シーケンスを定義して、そのシーケンスが定義された性質を満たすかどうかを形式的に検証できるツールです。 それではさっそく、続きに行きます。