SPINモデルチェッカ
SPINモデルチェッカ（英: SPIN model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある SPIN ユーザーや研究者による SPIN ワークショップが開催されている。
Q1860
英
Concept
Q1569697
モデル検査
Concept
Q1988
2001年
TIME
Q127992
Association for Computing Machinery
ORG
Q986509
ソフトウェアシステム賞
EVE
Q2068
1995年
TIME
Q1569697
モデル検査
Concept
Q959513
SPINモデルチェッカ
Concept
2005-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
15年
DATE
19-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2001年
DATE
25-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1995年
DATE
use
use
conferred by