| Property |
Value |
| dbo:abstract
|
- SPIN est un outil général pour vérifier la correction de modèles logiciels concurrents de manière rigoureuse et généralement automatisée. Il a été écrit, à partir de 1980, par Gerard J. Holzmann et d'autres membres du groupe Unix du Computing Sciences Research Center des Bell Labs. Le logiciel est disponible gratuitement depuis 1991 et continue d'évoluer pour suivre le rythme des nouveaux développements dans ce domaine. (fr)
- SPIN est un outil général pour vérifier la correction de modèles logiciels concurrents de manière rigoureuse et généralement automatisée. Il a été écrit, à partir de 1980, par Gerard J. Holzmann et d'autres membres du groupe Unix du Computing Sciences Research Center des Bell Labs. Le logiciel est disponible gratuitement depuis 1991 et continue d'évoluer pour suivre le rythme des nouveaux développements dans ce domaine. (fr)
|
| dbo:developer
| |
| dbo:license
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4291 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2004 (xsd:integer)
- 2008 (xsd:integer)
|
| prop-fr:auteur
|
- Balima Damien (fr)
- Gerard J. Holzmann (fr)
- Samuel Hym (fr)
- Balima Damien (fr)
- Gerard J. Holzmann (fr)
- Samuel Hym (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:date
|
- décembre 2013 (fr)
- décembre 2013 (fr)
|
| prop-fr:fr
|
- hachage d'états par bits (fr)
- hachage d'états par bits (fr)
|
| prop-fr:isbn
| |
| prop-fr:lireEnLigne
| |
| prop-fr:numéro
| |
| prop-fr:pagesTotales
| |
| prop-fr:périodique
|
- Open Silicium (fr)
- Open Silicium (fr)
|
| prop-fr:titre
|
- The SPIN Model Checker: Primer and Reference Manual (fr)
- SVL ― Introduction au Model-Checker Spin (fr)
- Spin model checker (fr)
- The SPIN Model Checker: Primer and Reference Manual (fr)
- SVL ― Introduction au Model-Checker Spin (fr)
- Spin model checker (fr)
|
| prop-fr:trad
|
- Bitstate hashing (fr)
- Bitstate hashing (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- dbpedia-fr:Addison-Wesley
- Open Silicium (fr)
- Université de Lille, département informatique de la Faculté des Sciences et Technologies (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- SPIN est un outil général pour vérifier la correction de modèles logiciels concurrents de manière rigoureuse et généralement automatisée. Il a été écrit, à partir de 1980, par Gerard J. Holzmann et d'autres membres du groupe Unix du Computing Sciences Research Center des Bell Labs. Le logiciel est disponible gratuitement depuis 1991 et continue d'évoluer pour suivre le rythme des nouveaux développements dans ce domaine. (fr)
- SPIN est un outil général pour vérifier la correction de modèles logiciels concurrents de manière rigoureuse et généralement automatisée. Il a été écrit, à partir de 1980, par Gerard J. Holzmann et d'autres membres du groupe Unix du Computing Sciences Research Center des Bell Labs. Le logiciel est disponible gratuitement depuis 1991 et continue d'évoluer pour suivre le rythme des nouveaux développements dans ce domaine. (fr)
|
| rdfs:label
|
- SPIN (de)
- SPIN (верификатор) (ru)
- SPIN model checker (fr)
- SPINモデルチェッカ (ja)
- SPIN (de)
- SPIN (верификатор) (ru)
- SPIN model checker (fr)
- SPINモデルチェッカ (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
