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

平石邦彦

• 森北出版 (2019年1月17日発売)

作品紹介・あらすじ

ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている．

本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する．

離散事象システム，実時間システム，ハイブリッドシステムなど，さまざまなシステムに対する形式的モデル化手法と，その解析方法が網羅された1冊．

感想・レビュー・書評

[fraserlibさんの感想 · 2019年5月8日]

請求記号　007.61/H 64

著者プロフィール

北陸先端科学技術大学院大学教授 工博

「2019年 『形式的モデル化』 で使われていた紹介文から引用しています。」