SPIN model checker (Q959513)
Jump to navigation
Jump to search
tool for verifying the correctness of software models
- Simple PROMELA Interpreter
Language | Label | Description | Also known as |
---|---|---|---|
English | SPIN model checker |
tool for verifying the correctness of software models |
|
Statements
1 reference
Spin source code now on Github (English)
22 December 2018
2.0
1 January 1995
1 reference
3.0.0
12 August 1997
1 reference
4.0.0
1 January 2003
1 reference
5.0
26 October 2007
1 reference
6.0
5 December 2010
1 reference
6.4.9
2 references
Version 6 Update history (English)
Spin Version 6.4.9 is now available (English)
18 December 2018
6.5.0
2 references
2 July 2019
Release 6.5.0 (English)
1 July 2019
Version 6 Update history (English)
6.5.1
2 references
4 December 2019
Release 6.5.1 (English)
3 December 2019
Spin Version 6.5.1 is now available on GitHub (English)
4 December 2019
Small changes and one bug fix (English)
6.5.2
1 reference
7 December 2019
Release 6.5.2 (English)
6 December 2019
Identifiers
Sitelinks
Wikipedia(7 entries)
- dewiki SPIN
- enwiki SPIN model checker
- frwiki SPIN model checker
- jawiki SPINモデルチェッカ
- ltwiki SPIN
- ruwiki SPIN (верификатор)
- thwiki สปิน (ซอฟต์แวร์)