抽象化を用いた検証ツール(<特集>システム検証の科学技術)
スポンサーリンク
概要
- 論文の詳細を見る
モデル検査技法は,仕様に対する設計の妥当性検証への適用において,近年大きな成功をおさめている.この技法の適用範囲をさらに広げるためには,状態数爆発問題を解決することが必要である.この問題を解決する方法として注目されている抽象化技法,およびそれを実装したツールを紹介する.
- 2005-01-26
著者
-
田辺 良則
(独)科学技術振興機構CREST
-
高井 利憲
(独)科学技術振興機構CREST
-
高橋 孝一
(独)産業技術総合研究所
-
田辺 良則
(独)科学技術振興機構crest:(独)産業技術総合研究所
-
高井 利憲
産業技術総合研究所システム検証研究センター
-
高橋 孝一
産業技術総合研究所システム検証研究センター
関連論文
- 抽象化を用いた検証ツール(システム検証の科学技術)
- 時相論理の充足可能性判定器のための論理式生成法(計算モデル,フォーマルアプローチ論文)
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- BDDを用いた2方向CTL論理式充足可能性決定手続きの実装(サイバー増大ページ論文概要,サイバー増大号)
- 標数2のある体上の代数方程式の求解
- クリーニ代数入門(チュートリアル,システム検証の科学技術)
- システム検証における数理的手法の紹介 : 組込みシステムへの適用事例(組込みシステム特集号)
- 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
- 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
- AOPを応用した実用的なソフトウェアモデル検査手法
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案
- 制御システムセキュリティのためのセキュリティバリアデバイスの提案