形式的モデル化　離散事象／実時間／ハイブリッドシステムのモデル化と解析 / 平石　邦彦　著

ソフトウェアの形式検証を理解し，使いこなすための理論を詳説．様々なシステムに対する形式的モデル化・解析手法を網羅．ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている．<br><br>本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する．<br><br>離散事象システム，実時間システム，ハイブリッドシステムなど，さまざまなシステムに対する形式的モデル化手法と，その解析方法が網羅された1冊．<br>平石　邦彦　著
森北出版
2019年01月
ケイシキテキ　モデルカ　リサン　ジシヨウ　ジツジカン　ハイブリツド
ヒライシ　クニヒコ
/