About: dbpedia-fr:Vérification_de

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

About: dbpedia-fr:Vérification_de_modèles Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Vérification de modèles (fr) Model checking (it) Verificación de modelos (es) Verificação de modelos (pt) Перевірка моделі (uk)
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]. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Model_checking_(computer_science) https://www.quora.com/topic/Model-Checking
sameAs	dbr:Model_checking wikidata:Q1569697 dbpedia-de:Model_Checking dbpedia-el:Έλεγχος_μοντέλων dbpedia-es:Verificación_de_modelos dbpedia-fa:وارسی_مدل dbpedia-it:Model_checking dbpedia-ja:モデル検査 dbpedia-pt:Verificação_de_modelos dbpedia-ru:Проверка_моделей dbpedia-sk:Overovanie_modelov dbpedia-tr:Model_kontrolü dbpedia-uk:Перевірка_моделі dbpedia-vi:Model_checking http://g.co/kg/m/01vjk8 http://ma-graph.org/entity/110251889
Wikipage page ID	60830 (xsd:integer)
Wikipage revision ID	180416612 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Vérification_de_modèles Depth-first search dbpedia-fr:Allen_Emerson dbpedia-fr:Amir_Pnueli dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_temporisé CTL* C (programming language) dbpedia-fr:Cambridge_University_Press category-fr:Méthode_de_développement_logiciel category-fr:Méthode_formelle dbpedia-fr:Collège_de_France dbpedia-fr:Diagramme_de_décision_binaire dbpedia-fr:Décidabilité dbpedia-fr:Edmund_M._Clarke dbpedia-fr:Gérard_Berry Computer science dbpedia-fr:Joseph_Sifakis dbpedia-fr:Logique_monadique_du_second_ordre dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_épistémique dbpedia-fr:MIT_Press Modal μ-calculus dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Prix_Turing dbpedia-fr:Problème_SAT Romeo Model Checker dbpedia-fr:Réduction_par_ordre_partiel dbpedia-fr:SPIN_model_checker Satisfiability modulo theories dbpedia-fr:Structure_automatique Kripke structure (model checking) dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Système_multi-agents dbpedia-fr:Test_(informatique) dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique) dbpedia-fr:Théorie_des_graphes dbpedia-fr:Théorie_des_jeux Electronics dbpedia-fr:Jean-Pierre_Queille
Link from a Wikipage to an external page	http://www.kenmcmil.com/thesis.html http://www.college-de-france.fr/site/gerard-berry/course-2015-03-25-16h00.htm
page length (characters) of wiki page	21874 (xsd:nonNegativeInteger)
dct:subject	category-fr:Vérification_de_modèles category-fr:Méthode_de_développement_logiciel category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Citation dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:Langue dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Référence_nécessaire dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Etc dbpedia-fr:Modèle:Passage_non_neutre
prov:wasDerivedFrom	wikipedia-fr:Vérification_de_modèles?oldid=180416612&ns=0
foaf:depiction
prop-fr:année	1986 (xsd:integer) 1993 (xsd:integer) 1999 (xsd:integer) 2004 (xsd:integer)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)
prop-fr:fr	alternating-time temporal logic (fr) logique temporelle arborescente (fr)
prop-fr:isbn	0 (xsd:integer)

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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software