This HTML5 document contains 142 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n22http://www.kenmcmil.com/
n16http://www.college-de-france.fr/site/gerard-berry/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n27http://g.co/kg/m/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n21https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
n5http://fr.dbpedia.org/resource/Modèle:
n32http://fr.dbpedia.org/resource/Fichier:
n12http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15https://commons.wikimedia.org/wiki/Category:
n20http://ma-graph.org/entity/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Vérification_de_modèles
rdfs:label
Verificação de modelos Model checking Перевірка моделі Verificación de modelos Vérification de modèles
rdfs:comment
En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire].
rdfs:seeAlso
n15:Model_checking_(computer_science) n21:Model-Checking
owl:sameAs
dbpedia-ru:Проверка_моделей dbpedia-it:Model_checking dbr:Model_checking dbpedia-ja:モデル検査 dbpedia-el:Έλεγχος_μοντέλων dbpedia-sk:Overovanie_modelov dbpedia-tr:Model_kontrolü n20:110251889 dbpedia-vi:Model_checking dbpedia-es:Verificación_de_modelos dbpedia-uk:Перевірка_моделі n27:01vjk8 wikidata:Q1569697 dbpedia-pt:Verificação_de_modelos dbpedia-de:Model_Checking dbpedia-fa:وارسی_مدل
dbo:wikiPageID
60830
dbo:wikiPageRevisionID
180416612
dbo:wikiPageWikiLink
dbpedia-fr:Collège_de_France dbpedia-fr:Automate_temporisé dbpedia-fr:SPIN_model_checker dbpedia-fr:Edmund_M._Clarke dbpedia-fr:Électronique_(technique) dbpedia-fr:Automate_de_Büchi dbpedia-fr:Structure_automatique dbpedia-fr:Joseph_Sifakis dbpedia-fr:Test_(informatique) dbpedia-fr:Informatique dbpedia-fr:Problème_SAT dbpedia-fr:Mu-calcul dbpedia-fr:Structure_de_Kripke category-fr:Méthode_formelle dbpedia-fr:Satisfiability_modulo_theories dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Amir_Pnueli dbpedia-fr:Cambridge_University_Press dbpedia-fr:Théorie_des_graphes dbpedia-fr:Diagramme_de_décision_binaire category-fr:Vérification_de_modèles dbpedia-fr:Théorie_des_jeux dbpedia-fr:Romeo_(logiciel) category-fr:Méthode_de_développement_logiciel dbpedia-fr:Allen_Emerson dbpedia-fr:Réduction_par_ordre_partiel dbpedia-fr:CTL* dbpedia-fr:Décidabilité dbpedia-fr:Logique_épistémique dbpedia-fr:Prix_Turing dbpedia-fr:Gérard_Berry dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:C_(langage) dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Système_multi-agents dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Logique_temporelle dbpedia-fr:Jean-Pierre_Queille dbpedia-fr:Algorithme_de_parcours_en_profondeur dbpedia-fr:MIT_Press n32:Model_checking_exemple_distributeur_de_boissons.svg n32:Model_checking_principe.svg
dbo:wikiPageExternalLink
n16:course-2015-03-25-16h00.htm n22:thesis.html
dbo:wikiPageLength
21874
dct:subject
category-fr:Méthode_de_développement_logiciel category-fr:Méthode_formelle category-fr:Vérification_de_modèles
prop-fr:wikiPageUsesTemplate
n5:Citation_étrangère n5:Citation n5:Passage_non_neutre n5:Article n5:Portail n5:Etc n5:Référence_nécessaire n5:Références n5:, n5:Ouvrage n5:Palette n5:Lien n5:Langue n5:Date-
prov:wasDerivedFrom
wikipedia-fr:Vérification_de_modèles?oldid=180416612&ns=0
foaf:depiction
n12:Model_checking_principe.svg n12:Model_checking_exemple_distributeur_de_boissons.svg
prop-fr:année
1993 1999 1986 2004
prop-fr:doi
10.2277 10.1145
prop-fr:fr
alternating-time temporal logic logique temporelle arborescente
prop-fr:isbn
978 0
prop-fr:lang
en
prop-fr:langue
en
prop-fr:lienPériodique
Association for Computing Machinery
prop-fr:lieu
Cambridge
prop-fr:lireEnLigne
n22:thesis.html
prop-fr:nom
McMillan Emerson Grumberg Ryan Huth Sistla Clarke Clarke, Jr. Peled
prop-fr:numéro
2
prop-fr:pagesTotales
314 194
prop-fr:prénom
Michael Kenneth L. E. A. Orna Mark E. M. Edmund M. A. P. Doron A.
prop-fr:sousTitre
Modelling and Reasoning About Systems
prop-fr:titre
Automatic verification of finite state concurrent systems using temporal logic Logic in Computer Science Model Checking Symbolic Model Checking
prop-fr:trad
Computation tree logic
prop-fr:volume
8
prop-fr:éditeur
dbpedia-fr:MIT_Press dbpedia-fr:Cambridge_University_Press Kluwer
prop-fr:p.
244
prop-fr:revue
ACM Trans. on Programming Languages and Systems
dbo:thumbnail
n12:Model_checking_principe.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Vérification_de_modèles
dbo:abstract
En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique. Sur le plan pratique, la vérification de modèles est devenue, au niveau industriel, la méthode de vérification de code et de systèmes matériels la plus populaire et la plus utilisée aujourd'hui[réf. nécessaire].