(Q959513)

English

SPIN model checker

tool for verifying the correctness of software models

  • Simple PROMELA Interpreter
In more languages
default for all languages
No label defined

No description defined

Statements

0 references
0 references
0 references
0 references
0 references
1.1
April 1991
0 references
1.2
August 1991
0 references
1.3
January 1992
0 references
1.4
July 1992
0 references
1.5
January 1993
0 references
1.5.1
23 February 1993
0 references
1.5.2
1 March 1993
0 references
1.5.3
19 March 1993
0 references
1.5.4
15 April 1993
0 references
1.5.5
21 April 1993
0 references
1.5.6
21 May 1993
0 references
1.5.7
1 July 1993
0 references
1.5.8
1 October 1993
0 references
1.5.9
17 November 1993
0 references
1.5.10
19 November 1993
0 references
1.5.11
1 February 1994
0 references
1.5.12
20 January 1994
0 references
1.5.13
27 March 1994
0 references
1.5.14
22 April 1994
0 references
1.5.15
20 May 1994
0 references
1.5.16
3 June 1994
0 references
1.5.17
15 July 1994
0 references
1.5.18
1 August 1994
0 references
1.6.0
5 August 1994
0 references
1.6.1
16 August 1994
0 references
1.6.2
20 August 1994
0 references
1.6.3
27 August 1994
0 references
1.6.4
18 September 1994
0 references
1.6.5
19 October 1994
0 references
1.6.6
15 November 1994
0 references
2.0.1
7 January 1995
0 references
2.0.2
10 January 1995
0 references
2.0.3
12 January 1995
0 references
2.0.4
14 January 1995
0 references
2.0.5
17 January 1995
0 references
2.0.6
27 January 1995
0 references
2.0.7
2 February 1995
0 references
2.0.8
7 February 1995
0 references
2.0.9
9 February 1995
0 references
2.1
15 February 1995
0 references
2.1.1
17 February 1995
0 references
2.2
19 February 1995
0 references
2.2.1
23 February 1995
0 references
2.2.2
24 February 1995
0 references
2.2.3
3 March 1995
0 references
2.2.4
9 March 1995
0 references
2.2.5
14 March 1995
0 references
2.2.6
21 March 1995
0 references
2.2.7
23 March 1995
0 references
2.2.8
30 March 1995
0 references
2.2.9
12 April 1995
0 references
2.2.10
18 April 1995
0 references
2.3.0
19 April 1995
0 references
2.3.1
20 April 1995
0 references
2.3.2
25 April 1995
0 references
2.3.3
29 April 1995
0 references
2.3.4
1 May 1995
0 references
2.3.5
13 May 1995
0 references
2.3.6
18 May 1995
0 references
2.3.7
18 May 1995
0 references
2.3.8
19 May 1995
0 references
2.4.0
22 May 1995
0 references
2.4.1
4 June 1995
0 references
2.4.2
11 June 1995
0 references
2.5
7 July 1995
0 references
2.5.1
12 July 1995
0 references
2.6
16 July 1995
0 references
2.6.1
18 July 1995
0 references
2.7
3 August 1995
0 references
2.7.1
9 August 1995
0 references
2.7.2
14 August 1995
0 references
2.7.3
15 August 1995
0 references
2.7.4
25 September 1995
0 references
2.7.5
7 October 1995
0 references
2.7.6
8 December 1995
0 references
2.7.7
1 February 1996
0 references
2.7.8
25 February 1996
0 references
2.8.0
19 March 1996
0 references
2.8.1
12 April 1996
0 references
2.8.2
19 April 1996
0 references
2.8.3
23 April 1996
0 references
2.8.4
25 April 1996
0 references
2.8.5
7 May 1996
0 references
2.8.6
17 May 1996
0 references
2.9.0
14 July 1996
0 references
2.9.1
16 September 1996
0 references
2.9.2
28 September 1996
0 references
2.9.3
5 October 1996
0 references
2.9.4
4 November 1996
0 references
2.9.5
18 February 1997
0 references
2.9.6
20 March 1997
0 references
2.9.7
18 April 1997
0 references
3.0.1
19 August 1997
0 references
3.0.2
24 August 1997
0 references
3.0.3
8 September 1997
0 references
3.0.4
25 October 1997
0 references
3.0.5
5 November 1997
0 references
3.0.6
16 December 1997
0 references
3.0.7
18 December 1997
0 references
3.0.8
2 January 1998
0 references
3.0.9
11 January 1998
0 references
3.1.0
27 January 1998
0 references
3.1.1
28 January 1998
0 references
3.1.2
14 March 1998
0 references
3.1.3
16 March 1998
0 references
3.2.0
7 April 1998
0 references
3.2.1
4 July 1998
0 references
3.2.2
21 July 1998
0 references
3.2.3
1 August 1998
0 references
3.2.4
10 January 1999
0 references
3.3.0
1 June 1999
0 references
3.3.1
12 July 1999
0 references
3.3.2
16 July 1999
0 references
3.3.3
21 July 1999
0 references
3.3.4
9 September 1999
0 references
3.3.5
28 September 1999
0 references
3.3.6
23 November 1999
0 references
3.3.7
6 December 1999
0 references
3.3.8
1 January 2000
0 references
3.3.9
31 January 2000
0 references
3.3.10
15 March 2000
0 references
3.4.0
14 August 2000
0 references
3.4.1
15 August 2000
0 references
3.4.2
28 October 2000
0 references
3.4.3
22 December 2000
0 references
3.4.4
2 February 2001
0 references
3.4.5
8 March 2001
0 references
3.4.6
29 March 2001
0 references
3.4.7
23 April 2001
0 references
3.4.8
22 June 2001
0 references
3.4.9
1 October 2001
0 references
3.4.10
30 October 2001
0 references
3.4.11
17 December 2001
0 references
3.4.12
18 December 2001
0 references
3.4.13
31 January 2002
0 references
3.4.14
6 April 2002
0 references
3.4.15
1 June 2002
0 references
3.4.16
2 June 2002
0 references
3.4.17
19 September 2002
0 references
3.5.0
1 October 2002
0 references
3.5.1
11 November 2002
0 references
3.5.2
30 November 2002
0 references
3.5.3
8 December 2002
0 references
4.0.1
7 January 2003
0 references
4.0.2
6 March 2003
0 references
4.0.3
3 April 2003
0 references
4.0.4
12 April 2003
0 references
4.0.5
29 May 2003
0 references
4.0.6
29 May 2003
0 references
4.0.7
1 August 2003
0 references
4.1.0
4 December 2003
0 references
4.1.1
2 January 2004
0 references
4.1.2
21 February 2004
0 references
4.1.3
24 April 2004
0 references
4.2.0
27 June 2004
0 references
4.2.1
8 October 2004
0 references
4.2.2
12 December 2004
0 references
4.2.3
5 February 2005
0 references
4.2.4
14 February 2005
0 references
4.2.5
2 April 2005
0 references
4.2.6
27 October 2005
0 references
4.2.7
23 June 2006
0 references
4.2.8
6 January 2007
0 references
4.2.9
8 February 2007
0 references
4.3.0
22 June 2007
0 references
5.1
3 November 2007
0 references
5.1.1
11 November 2007
0 references
5.1.2
22 November 2007
0 references
5.1.3
8 December 2007
0 references
5.1.4
27 January 2008
0 references
5.1.5
26 April 2008
0 references
5.1.6
9 May 2008
0 references
5.1.7
23 December 2008
0 references
5.2.0
8 May 2009
0 references
5.2.1
6 September 2009
0 references
5.2.2
7 September 2009
0 references
5.2.3
25 November 2009
0 references
5.2.4
2 December 2009
0 references
5.2.5
17 April 2010
0 references
6.0.1
16 December 2010
0 references
6.1.0
4 May 2011
0 references
6.2.0
4 May 2012
0 references
6.2.1
14 May 2012
0 references
6.2.2
6 June 2012
0 references
6.2.3
24 October 2012
0 references
6.2.4
10 March 2013
0 references
6.2.5
4 May 2013
0 references
6.2.6
17 February 2014
0 references
6.2.7
2 March 2014
0 references
6.3.0
4 May 2014
0 references
6.3.1
11 May 2014
0 references
6.3.2
17 May 2014
0 references
6.4.0
19 September 2014
0 references
6.4.1
5 October 2014
0 references
6.4.2
8 October 2014
0 references
6.4.3
16 December 2014
0 references
6.4.4
1 November 2015
0 references
0 references
0 references
0 references
0 references
2 references
Spin Version 6.5.1 is now available on GitHub (English)
4 December 2019
Small changes and one bug fix (English)
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit