トップ «前の日記(2006-07-11) 最新 次の日記(2006-07-14)» 月表示 編集

日々の流転


2006-07-12 [長年日記]

λ. 「モデル検証技術の応用」

千葉商科大学政策情報学部の大矢野潤氏の講演「モデル検証技術の応用」を聴いてきた。モデル検証(model checking, モデル検査)について色々と面白い話を聴くことが出来た。Lightweight Verification という言葉が少し印象に残っている。