文章基本信息

标题：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]が刊行された. これを紹介する.