SPINによる設計モデル検証
モデル検査の実践ソフトウェア検証
著：本位田真一
著：萩谷昌己
著：吉岡信和
電子版
内容紹介
昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。
目次
第1章 設計モデル検証とモデル検査 第2章 モデル検査概論 第3章 モデル検査ツールSPIN概要 第4章 SPINによるモデル検査 第5章 SPINによる設計モデルの検証プロセス 第6章 設計モデルの検証の実際 第7章 検証の実践：抽象化・効率化・デバッグ 付録A PROMELA/SPINリファレンスマニュアル 付録B 設計モデルの検証プロセス 付録C 簡易ステートマシン図のシンタックスとセマンティクス 付録D 簡易ステートマシン図とPROMELAの対応
JP-eコード：7649035411000000000t
。出版社：近代科学社
。コンテンツ公開日：2008年09月01日。