SPINモデルチェッカ
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/07/14 08:42 UTC 版)
SPINモデルチェッカ(英: SPIN model checker)は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある SPIN ユーザーや研究者による SPIN ワークショップが開催されている。
- 1 SPINモデルチェッカとは
- 2 SPINモデルチェッカの概要
- SPINモデルチェッカのページへのリンク