ソフトウェアが正しく設計されているかを保証するための手法として,システムを数学的に厳密なモデルで記述し,仕様が満たされているかどうかを数理的に調べる,「形式検証」が注目されている.
本書では,モデル検査に代表されるように,現実のシステムにも適用可能になってきた形式検証を理解し,使いこなすための理論的背景について解説する.
離散事象システム,実時間システム,ハイブリッドシステムなど,さまざまなシステムに対する形式的モデル化手法と,その解析方法が網羅された1冊.
ソフトウェアの形式検証を理解し,使いこなすための理論を詳説.様々なシステムに対する形式的モデル化・解析手法を網羅.
・クラウドが好きな大学生が読んで良さげだった本を紹介する[2021-11-27に投稿]