id:sumii 経由で知りましたが、日本ソフトウェア科学会による、モデル検査がらみの以下のレクチャーがあるそうです。 「モデル検査ツールUPPAALを使った時間制約の検証」 2007年11月16日(金) 午前10時30分〜午後5時（受付開始：午前10時） 国立情報学研究所 …