タイトル

田辺良則，高井利憲，高橋孝一: 抽象化を用いた検証ツール.

概要

モデル検査技法は，仕様に対する設計の妥当性検証への適用において， 近年大きな成功をおさめている． この技法の適用範囲をさらに広げるためには， 状態数爆発問題を解決することが必要である． この問題を解決する方法として注目されている 抽象化技法，およびそれを実装したツールを紹介する．

バージョン

ここは 産業技術総合研究所 (AIST) のwebページの一部です。

このページの内容に関する電子メールでの連絡先: tanabe.yoshinoriアットマークaist.go.jp
田辺のページトップ