|
丸善のおすすめ度
形式的モデル化～離散事象/実時間/ハイブリッドシステムのモデル化と解析～
平石 邦彦
著
発行年月 |
2019年01月 |
|---|
|
|
言語 |
日本語 |
|---|
媒体 |
冊子 |
|---|
|
|
ページ数／巻数 |
8p,229p |
|---|
大きさ |
22cm |
|---|
|
ジャンル |
和書／理工学／情報学／情報システム・ソフトウェア |
|---|
|
|
ISBN |
9784627854215 |
|---|
|
商品コード |
1029226993 |
|---|
NDC分類 |
007.61 |
|---|
|
|
本の性格 |
学術書/実務向け |
|---|
|
新刊案内掲載月 |
2019年02月4週 |
|---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1029226993 |
|---|
著者紹介
平石 邦彦（著者）：北陸先端科学技術大学院大学教授 工博
内容
ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている．
本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する．
離散事象システム，実時間システム，ハイブリッドシステムなど，さまざまなシステムに対する形式的モデル化手法と，その解析方法が網羅された1冊．
