About: dbpedia-fr:SPIN_model

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:SPIN_model_checker Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q7397, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing dbo:Software work schema:CreativeWork wikidata:Q386724 wikidata:Q7397
rdfs:label	SPIN (de) SPIN (верификатор) (ru) SPIN model checker (fr) SPINモデルチェッカ (ja)
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)
rdfs:seeAlso	https://packages.debian.org/stable/spin https://www.archlinux.org/packages/spin https://www.openhub.net/p/spin-checker https://aur.archlinux.org/packages/spin-git/ https://aur.archlinux.org/packages/spin/ https://packages.gentoo.org/packages/sci-mathematics/spin https://packages.ubuntu.com/spin
sameAs	dbr:SPIN_model_checker wikidata:Q959513 dbpedia-de:SPIN dbpedia-ja:SPINモデルチェッカ http://lt.dbpedia.org/resource/SPIN dbpedia-ru:SPIN_(верификатор) dbpedia-th:สปิน_(ซอฟต์แวร์) http://g.co/kg/m/04hnrd http://ma-graph.org/entity/2777517218
Wikipage page ID	13594135 (xsd:integer)
Wikipage revision ID	175362401 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Addison-Wesley Distributed algorithm Association for Computing Machinery dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_fini C (programming language) category-fr:Logiciel dbpedia-fr:Compression_de_données Hash function dbpedia-fr:Laboratoires_Bell dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:PROMELA ACM Software System Award dbpedia-fr:Pékin dbpedia-fr:Réduction_par_ordre_partiel dbpedia-fr:Vérification_de_modèles dbpedia-fr:Équité_(informatique)
Link from a Wikipage to an external page	https://connect.ed-diamond.com/Open-Silicium/OS-009/Spin-model-checker https://www.fil.univ-lille1.fr/~hym/e/svl-08/spin-introduction.html http://www.spinroot.com/ https://www.cin.ufpe.br/~acm/esd/intranet/spinPrimer.pdf
page length (characters) of wiki page	4291 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logiciel
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Voir_homonymes dbpedia-fr:Modèle:26e dbpedia-fr:Modèle:Infobox_Logiciel
prov:wasDerivedFrom	wikipedia-fr:SPIN_model_checker?oldid=175362401&ns=0
prop-fr:année	2004 (xsd:integer) 2008 (xsd:integer)
prop-fr:auteur	Balima Damien (fr) Gerard J. Holzmann (fr) Samuel Hym (fr)
prop-fr:consultéLe	2020-09-22 (xsd:date)
prop-fr:date	décembre 2013 (fr)
prop-fr:fr	hachage d'états par bits (fr)
prop-fr:isbn	0 (xsd:integer)
prop-fr:lireEnLigne	https://connect.ed-diamond.com/Open-Silicium/OS-009/Spin-model-checker https://www.cin.ufpe.br/~acm/esd/intranet/spinPrimer.pdf
prop-fr:numéro	9 (xsd:integer)
prop-fr:pagesTotales	598 (xsd:integer)
prop-fr:périodique	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)
prop-fr:trad	Bitstate hashing (fr)
prop-fr:url	https://www.fil.univ-lille1.fr/~hym/e/svl-08/spin-introduction.html
prop-fr:éditeur	dbpedia-fr:Addison-Wesley Open Silicium (fr) Université de Lille, département informatique de la Faculté des Sciences et Technologies (fr)
foaf:isPrimaryTopicOf	wikipedia-fr:SPIN_model_checker
has 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)
developer	Gerard J. Holzmann
license	wikidata:Q18491847
is dbo:wikiPageWikiLink of	dbpedia-fr:SPIN Ebony Bones Gerard J. Holzmann ACM Software System Award Spin dbpedia-fr:Vérification_de_modèles
is Wikipage redirect of	dbpedia-fr:SPIN
is Wikipage disambiguates of	Spin
is oa:hasTarget of	De labels Ja labels Ru labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:SPIN_model_checker

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software