文章基本信息
- 标题：The SPIN Model Checker, G. J. Holzmann著
- 本地全文：下载
- 作者：中島 震
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2004
- 卷号：21
- 期号：2
- 页码：143-151
- DOI：10.11309/jssst.21.143
- 出版社：Japan Society for Software Science and Technology
- 摘要：
システムの信頼性向上を目的とする技術としてモデル検査検証が注目を集めている. 理論を中心とした研究段階から一歩踏み出して, 実用的な検証ツールが開発・公開される状況になってきた. 代表的なモデル検査検証ツールのひとつにSPINがあり, 開発者自らの手によって書かれた教科書[3]が刊行された. これを紹介する.
