[BOOKデータベースより]
複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。
第１部 システムのモデル化（システムの概念；オートマトンと形式言語 ほか）
第２部 性質・ふるまいの記述（時相論理によるシステムの性質の記述；遷移システム・ラベル付き遷移システム）
第３部 拡張モデル（時間・確率システムのモデル化；ハイブリッドシステムのモデル化）
第４部 解析・検証・制御（基本的解析問題；決定性時間システム・ハイブリッドシステムの解析 ほか）
ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている．
本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する．
離散事象システム，実時間システム，ハイブリッドシステムなど，さまざまなシステムに対する形式的モデル化手法と，その解析方法が網羅された1冊．
この商品をご覧のお客様は、こんな商品もチェックしています。
- 政治批判の原理を求めて
-
価格：8,800円（本体8,000円＋税）
【2025年10月発売】
- なぜ日本人は日本語が話せるのか
-
価格：1,650円（本体1,500円＋税）
【2004年03月発売】
- 英語の使い方
-
価格：1,760円（本体1,600円＋税）
【1995年03月発売】
- 幸せになるためのサイエンス脳の作り方
-
価格：1,540円（本体1,400円＋税）
【2024年04月発売】
のマークが目印です。
