2009-10-01 LTSAとは LTSAは、Labelled Transition System Analyserの略です。フリーで利用できる形式的検証のためのツールです。 詳しい話は、適当にググってください。