コンピュータ ソフトウェア
Print ISSN : 0289-6540
抽象化を用いた検証ツール
田辺 良則高井 利憲高橋 孝一
著者情報
ジャーナル フリー

2005 年 22 巻 1 号 p. 1_2-1_44

詳細
抄録

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

著者関連情報
© 日本ソフトウェア科学会 2005
前の記事 次の記事
feedback
Top