SPIN (Q959513)

De Wikidata
Aller à la navigation Aller à la recherche
tool for verifying the correctness of software models anglais
modifier
Langue Libellé Description Également connu comme
français
SPIN
Aucune description fournie
    anglais
    SPIN model checker
    tool for verifying the correctness of software models
    • Simple PROMELA Interpreter

    Déclarations

    usage
    Model checking
    0 référence
    influencé par
    C
    0 référence
    système d'exploitation
    Linux
    0 référence
    Microsoft Windows
    0 référence
    macOS
    0 référence
    langage de programmation
    C
    0 référence
    identifiant de version logicielle
    1.1
    date de publication
    avril 1991
    0 référence
    1.2
    date de publication
    août 1991
    0 référence
    1.3
    date de publication
    janvier 1992
    0 référence
    1.4
    date de publication
    juillet 1992
    0 référence
    1.5
    date de publication
    janvier 1993
    0 référence
    1.5.1
    date de publication
    23 février 1993
    0 référence
    1.5.2
    date de publication
    1 mars 1993
    0 référence
    1.5.3
    date de publication
    19 mars 1993
    0 référence
    1.5.4
    date de publication
    15 avril 1993
    0 référence
    1.5.5
    date de publication
    21 avril 1993
    0 référence
    1.5.6
    date de publication
    21 mai 1993
    0 référence
    1.5.7
    date de publication
    1 juillet 1993
    0 référence
    1.5.8
    date de publication
    1 octobre 1993
    0 référence
    1.5.9
    date de publication
    17 novembre 1993
    0 référence
    1.5.10
    date de publication
    19 novembre 1993
    0 référence
    1.5.11
    date de publication
    1 février 1994
    0 référence
    1.5.12
    date de publication
    20 janvier 1994
    0 référence
    1.5.13
    date de publication
    27 mars 1994
    0 référence
    1.5.14
    date de publication
    22 avril 1994
    0 référence
    1.5.15
    date de publication
    20 mai 1994
    0 référence
    1.5.16
    date de publication
    3 juin 1994
    0 référence
    1.5.17
    date de publication
    15 juillet 1994
    0 référence
    1.5.18
    date de publication
    1 août 1994
    0 référence
    1.6.0
    date de publication
    5 août 1994
    0 référence
    1.6.1
    date de publication
    16 août 1994
    0 référence
    1.6.2
    date de publication
    20 août 1994
    0 référence
    1.6.3
    date de publication
    27 août 1994
    0 référence
    1.6.4
    date de publication
    18 septembre 1994
    0 référence
    1.6.5
    date de publication
    19 octobre 1994
    0 référence
    1.6.6
    date de publication
    15 novembre 1994
    0 référence
    2.0.1
    date de publication
    7 janvier 1995
    0 référence
    2.0.2
    date de publication
    10 janvier 1995
    0 référence
    2.0.3
    date de publication
    12 janvier 1995
    0 référence
    2.0.4
    date de publication
    14 janvier 1995
    0 référence
    2.0.5
    date de publication
    17 janvier 1995
    0 référence
    2.0.6
    date de publication
    27 janvier 1995
    0 référence
    2.0.7
    date de publication
    2 février 1995
    0 référence
    2.0.8
    date de publication
    7 février 1995
    0 référence
    2.0.9
    date de publication
    9 février 1995
    0 référence
    2.1
    date de publication
    15 février 1995
    0 référence
    2.1.1
    date de publication
    17 février 1995
    0 référence
    2.2
    date de publication
    19 février 1995
    0 référence
    2.2.1
    date de publication
    23 février 1995
    0 référence
    2.2.2
    date de publication
    24 février 1995
    0 référence
    2.2.3
    date de publication
    3 mars 1995
    0 référence
    2.2.4
    date de publication
    9 mars 1995
    0 référence
    2.2.5
    date de publication
    14 mars 1995
    0 référence
    2.2.6
    date de publication
    21 mars 1995
    0 référence
    2.2.7
    date de publication
    23 mars 1995
    0 référence
    2.2.8
    date de publication
    30 mars 1995
    0 référence
    2.2.9
    date de publication
    12 avril 1995
    0 référence
    2.2.10
    date de publication
    18 avril 1995
    0 référence
    2.3.0
    date de publication
    19 avril 1995
    0 référence
    2.3.1
    date de publication
    20 avril 1995
    0 référence
    2.3.2
    date de publication
    25 avril 1995
    0 référence
    2.3.3
    date de publication
    29 avril 1995
    0 référence
    2.3.4
    date de publication
    1 mai 1995
    0 référence
    2.3.5
    date de publication
    13 mai 1995
    0 référence
    2.3.6
    date de publication
    18 mai 1995
    0 référence
    2.3.7
    date de publication
    18 mai 1995
    0 référence
    2.3.8
    date de publication
    19 mai 1995
    0 référence
    2.4.0
    date de publication
    22 mai 1995
    0 référence
    2.4.1
    date de publication
    4 juin 1995
    0 référence
    2.4.2
    date de publication
    11 juin 1995
    0 référence
    2.5
    date de publication
    7 juillet 1995
    0 référence
    2.5.1
    date de publication
    12 juillet 1995
    0 référence
    2.6
    date de publication
    16 juillet 1995
    0 référence
    2.6.1
    date de publication
    18 juillet 1995
    0 référence
    2.7
    date de publication
    3 août 1995
    0 référence
    2.7.1
    date de publication
    9 août 1995
    0 référence
    2.7.2
    date de publication
    14 août 1995
    0 référence
    2.7.3
    date de publication
    15 août 1995
    0 référence
    2.7.4
    date de publication
    25 septembre 1995
    0 référence
    2.7.5
    date de publication
    7 octobre 1995
    0 référence
    2.7.6
    date de publication
    8 décembre 1995
    0 référence
    2.7.7
    date de publication
    1 février 1996
    0 référence
    2.7.8
    date de publication
    25 février 1996
    0 référence
    2.8.0
    date de publication
    19 mars 1996
    0 référence
    2.8.1
    date de publication
    12 avril 1996
    0 référence
    2.8.2
    date de publication
    19 avril 1996
    0 référence
    2.8.3
    date de publication
    23 avril 1996
    0 référence
    2.8.4
    date de publication
    25 avril 1996
    0 référence
    2.8.5
    date de publication
    7 mai 1996
    0 référence
    2.8.6
    date de publication
    17 mai 1996
    0 référence
    2.9.0
    date de publication
    14 juillet 1996
    0 référence
    2.9.1
    date de publication
    16 septembre 1996
    0 référence
    2.9.2
    date de publication
    28 septembre 1996
    0 référence
    2.9.3
    date de publication
    5 octobre 1996
    0 référence
    2.9.4
    date de publication
    4 novembre 1996
    0 référence
    2.9.5
    date de publication
    18 février 1997
    0 référence
    2.9.6
    date de publication
    20 mars 1997
    0 référence
    2.9.7
    date de publication
    18 avril 1997
    0 référence
    3.0.1
    date de publication
    19 août 1997
    0 référence
    3.0.2
    date de publication
    24 août 1997
    0 référence
    3.0.3
    date de publication
    8 septembre 1997
    0 référence
    3.0.4
    date de publication
    25 octobre 1997
    0 référence
    3.0.5
    date de publication
    5 novembre 1997
    0 référence
    3.0.6
    date de publication
    16 décembre 1997
    0 référence
    3.0.7
    date de publication
    18 décembre 1997
    0 référence
    3.0.8
    date de publication
    2 janvier 1998
    0 référence
    3.0.9
    date de publication
    11 janvier 1998
    0 référence
    3.1.0
    date de publication
    27 janvier 1998
    0 référence
    3.1.1
    date de publication
    28 janvier 1998
    0 référence
    3.1.2
    date de publication
    14 mars 1998
    0 référence
    3.1.3
    date de publication
    16 mars 1998
    0 référence
    3.2.0
    date de publication
    7 avril 1998
    0 référence
    3.2.1
    date de publication
    4 juillet 1998
    0 référence
    3.2.2
    date de publication
    21 juillet 1998
    0 référence
    3.2.3
    date de publication
    1 août 1998
    0 référence
    3.2.4
    date de publication
    10 janvier 1999
    0 référence
    3.3.0
    date de publication
    1 juin 1999
    0 référence
    3.3.1
    date de publication
    12 juillet 1999
    0 référence
    3.3.2
    date de publication
    16 juillet 1999
    0 référence
    3.3.3
    date de publication
    21 juillet 1999
    0 référence
    3.3.4
    date de publication
    9 septembre 1999
    0 référence
    3.3.5
    date de publication
    28 septembre 1999
    0 référence
    3.3.6
    date de publication
    23 novembre 1999
    0 référence
    3.3.7
    date de publication
    6 décembre 1999
    0 référence
    3.3.8
    date de publication
    1 janvier 2000
    0 référence
    3.3.9
    date de publication
    31 janvier 2000
    0 référence
    3.3.10
    date de publication
    15 mars 2000
    0 référence
    3.4.0
    date de publication
    14 août 2000
    0 référence
    3.4.1
    date de publication
    15 août 2000
    0 référence
    3.4.2
    date de publication
    28 octobre 2000
    0 référence
    3.4.3
    date de publication
    22 décembre 2000
    0 référence
    3.4.4
    date de publication
    2 février 2001
    0 référence
    3.4.5
    date de publication
    8 mars 2001
    0 référence
    3.4.6
    date de publication
    29 mars 2001
    0 référence
    3.4.7
    date de publication
    23 avril 2001
    0 référence
    3.4.8
    date de publication
    22 juin 2001
    0 référence
    3.4.9
    date de publication
    1 octobre 2001
    0 référence
    3.4.10
    date de publication
    30 octobre 2001
    0 référence
    3.4.11
    date de publication
    17 décembre 2001
    0 référence
    3.4.12
    date de publication
    18 décembre 2001
    0 référence
    3.4.13
    date de publication
    31 janvier 2002
    0 référence
    3.4.14
    date de publication
    6 avril 2002
    0 référence
    3.4.15
    date de publication
    1 juin 2002
    0 référence
    3.4.16
    date de publication
    2 juin 2002
    0 référence
    3.4.17
    date de publication
    19 septembre 2002
    0 référence
    3.5.0
    date de publication
    1 octobre 2002
    0 référence
    3.5.1
    date de publication
    11 novembre 2002
    0 référence
    3.5.2
    date de publication
    30 novembre 2002
    0 référence
    3.5.3
    date de publication
    8 décembre 2002
    0 référence
    4.0.1
    date de publication
    7 janvier 2003
    0 référence
    4.0.2
    date de publication
    6 mars 2003
    0 référence
    4.0.3
    date de publication
    3 avril 2003
    0 référence
    4.0.4
    date de publication
    12 avril 2003
    0 référence
    4.0.5
    date de publication
    29 mai 2003
    0 référence
    4.0.6
    date de publication
    29 mai 2003
    0 référence
    4.0.7
    date de publication
    1 août 2003
    0 référence
    4.1.0
    date de publication
    4 décembre 2003
    0 référence
    4.1.1
    date de publication
    2 janvier 2004
    0 référence
    4.1.2
    date de publication
    21 février 2004
    0 référence
    4.1.3
    date de publication
    24 avril 2004
    0 référence
    4.2.0
    date de publication
    27 juin 2004
    0 référence
    4.2.1
    date de publication
    8 octobre 2004
    0 référence
    4.2.2
    date de publication
    12 décembre 2004
    0 référence
    4.2.3
    date de publication
    5 février 2005
    0 référence
    4.2.4
    date de publication
    14 février 2005
    0 référence
    4.2.5
    date de publication
    2 avril 2005
    0 référence
    4.2.6
    date de publication
    27 octobre 2005
    0 référence
    4.2.7
    date de publication
    23 juin 2006
    0 référence
    4.2.8
    date de publication
    6 janvier 2007
    0 référence
    4.2.9
    date de publication
    8 février 2007
    0 référence
    4.3.0
    date de publication
    22 juin 2007
    0 référence
    5.1
    date de publication
    3 novembre 2007
    0 référence
    5.1.1
    date de publication
    11 novembre 2007
    0 référence
    5.1.2
    date de publication
    22 novembre 2007
    0 référence
    5.1.3
    date de publication
    8 décembre 2007
    0 référence
    5.1.4
    date de publication
    27 janvier 2008
    0 référence
    5.1.5
    date de publication
    26 avril 2008
    0 référence
    5.1.6
    date de publication
    9 mai 2008
    0 référence
    5.1.7
    date de publication
    23 décembre 2008
    0 référence
    5.2.0
    date de publication
    8 mai 2009
    0 référence
    5.2.1
    date de publication
    6 septembre 2009
    0 référence
    5.2.2
    date de publication
    7 septembre 2009
    0 référence
    5.2.3
    date de publication
    25 novembre 2009
    0 référence
    5.2.4
    date de publication
    2 décembre 2009
    0 référence
    5.2.5
    date de publication
    17 avril 2010
    0 référence
    6.0.1
    date de publication
    16 décembre 2010
    0 référence
    6.1.0
    date de publication
    4 mai 2011
    0 référence
    6.2.0
    date de publication
    4 mai 2012
    0 référence
    6.2.1
    date de publication
    14 mai 2012
    0 référence
    6.2.2
    date de publication
    6 juin 2012
    0 référence
    6.2.3
    date de publication
    24 octobre 2012
    0 référence
    6.2.4
    date de publication
    10 mars 2013
    0 référence
    6.2.5
    date de publication
    4 mai 2013
    0 référence
    6.2.6
    date de publication
    17 février 2014
    0 référence
    6.2.7
    date de publication
    2 mars 2014
    0 référence
    6.3.0
    date de publication
    4 mai 2014
    0 référence
    6.3.1
    date de publication
    11 mai 2014
    0 référence
    6.3.2
    date de publication
    17 mai 2014
    0 référence
    6.4.0
    date de publication
    19 septembre 2014
    0 référence
    6.4.1
    date de publication
    5 octobre 2014
    0 référence
    6.4.2
    date de publication
    8 octobre 2014
    0 référence
    6.4.3
    date de publication
    16 décembre 2014
    0 référence
    6.4.4
    date de publication
    1 novembre 2015
    0 référence
    6.4.5
    date de publication
    1 janvier 2016
    licence
    BSD 3-clauses
    0 référence
    6.4.6
    date de publication
    2 décembre 2016
    licence
    BSD 3-clauses
    0 référence
    6.4.7
    date de publication
    19 août 2017
    licence
    BSD 3-clauses
    0 référence
    6.4.8
    date de publication
    2 mars 2018
    licence
    BSD 3-clauses
    0 référence
    6.5.1
    date de publication
    3 décembre 2019
    lien de téléchargement
    https://github.com/nimble-code/Spin/archive/version-6.5.1.zip
    2 références
    URL de la référence
    https://github.com/nimble-code/Spin/releases/tag/version-6.5.1
    date de consultation
    4 décembre 2019
    titre
    Release 6.5.1 (anglais)
    date de publication
    3 décembre 2019
    URL de la référence
    http://spinroot.com/fluxbb/viewtopic.php?id=1665
    titre
    Spin Version 6.5.1 is now available on GitHub (anglais)
    date de publication
    4 décembre 2019
    citation
    Small changes and one bug fix (anglais)
    licence
    BSD 3-clauses
    date de début
    2016
    0 référence
    implémentation de
    PROMELA
    0 référence

    Identifiants

    paquet Arch Linux
    spin
    0 référence
    paquet AUR
    spin
    0 référence
    spin-git
    0 référence
    paquet Debian
    spin
    0 référence
    port FreeBSD
    devel/spin
    0 référence
    nom de formule Homebrew
    spin
    0 référence
    paquetage NetBSD
    devel/spin
    0 référence
    paquetage OpenBSD
    lang/spin
    0 référence
    paquet Ubuntu
    spin
    0 référence
     
    modifier
    modifier
      modifier
        modifier
          modifier
            modifier
              modifier
                modifier
                  modifier
                    Récupérée de « https://www.wikidata.org/w/index.php?title=Q959513&oldid=1631020001 »