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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n26http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n11http://www.irisa.fr/celtique/pichardie/teaching/L3/LOG/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://pagesperso-systeme.lip6.fr/Beatrice.Berard/PDF/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n12http://fr.dbpedia.org/resource/Modèle:
n5https://books.google.fr/
n20http://fr.dbpedia.org/resource/Fichier:
n15http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n25http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n27https://commons.wikimedia.org/wiki/Category:
n19http://ma-graph.org/entity/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-zhhttp://zh.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#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Structure_de_Kripke
rdfs:label
Model Kripkego Estructura de Kripke Модель Крипке Kripke structure (model checking) Structure de Kripke
rdfs:comment
Une structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke. Elle est utilisée par exemple dans le model checking pour représenter le comportement d'un système. C'est un graphe orienté dont les nœuds représentent les états accessibles du système et dont les arcs représentent les transitions entre les états. Une fonction d'étiquetage fait correspondre à chaque état un ensemble de propositions logiques vraies dans cet état. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules.
rdfs:seeAlso
n27:Kripke_models
owl:sameAs
dbpedia-sk:Kripkeho_štruktúra dbpedia-pl:Model_Kripkego dbpedia-ko:크립키_구조 n19:161913894 wikidata:Q1077740 dbpedia-el:Δομή_Κρίπκε dbpedia-ru:Модель_Крипке dbpedia-it:Modelli_di_Kripke n26:05dypg dbr:Kripke_structure_(model_checking) dbpedia-es:Estructura_de_Kripke dbpedia-zh:克里普克结构
dbo:wikiPageID
746972
dbo:wikiPageRevisionID
178471837
dbo:wikiPageWikiLink
dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Mot_infini dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Saul_Kripke dbpedia-fr:Vérification_de_modèles category-fr:Logique_modale dbpedia-fr:Springer_Science+Business_Media category-fr:Vérification_de_modèles dbpedia-fr:Automate_fini n20:Kripke.png dbpedia-fr:Théorie_des_automates dbpedia-fr:Machine_de_Moore category-fr:Automate category-fr:Calculabilité dbpedia-fr:Graphe_(mathématiques_discrètes) dbpedia-fr:Machine_de_Turing_non_déterministe dbpedia-fr:Interblocage dbpedia-fr:MIT_Press dbpedia-fr:Théorie_de_la_calculabilité category-fr:Logique_temporelle dbpedia-fr:Calcul_des_propositions dbpedia-fr:N-uplet dbpedia-fr:Logique_temporelle dbpedia-fr:Logique_modale category-fr:Famille_de_graphes dbpedia-fr:Système_réactif
dbo:wikiPageExternalLink
n5:books%3Fid=Z92bL1VrD_sC n10:Verif.pdf n11:cours12.pdf n5:books%3Fid=Nmc4wEaLXFEC
dbo:wikiPageLength
7365
dct:subject
category-fr:Logique_temporelle category-fr:Automate category-fr:Vérification_de_modèles category-fr:Logique_modale category-fr:Famille_de_graphes category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n12:' n12:, n12:Article n12:Références n12:Portail n12:Lien_web n25:Référence n12:Ouvrage
prov:wasDerivedFrom
wikipedia-fr:Structure_de_Kripke?oldid=178471837&ns=0
foaf:depiction
n15:Kripke.png
prop-fr:année
1963 2004 2008 1999
prop-fr:auteur
Béatrice Berard Saul A. Kripke
prop-fr:collection
Texts in Theoretical Computer Science. An EATCS Series
prop-fr:consultéLe
2012-06-30
prop-fr:isbn
978
prop-fr:journal
Acta Philosophica Fennica Fasc. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
prop-fr:langue
en
prop-fr:lieu
Cambridge
prop-fr:nom
Clarke Grumberg Katoen Peled Baier Schneider
prop-fr:pages
67 83
prop-fr:pagesTotales
xiv+600 975 314
prop-fr:prénom
Doron A. Christel Orna Klaus Edmund M. Joost-Pieter
prop-fr:présentationEnLigne
n5:books%3Fid=Nmc4wEaLXFEC n5:books%3Fid=Z92bL1VrD_sC
prop-fr:sousTitre
Formal Methods and Algorithms
prop-fr:titre
Vérification formelle de systèmes répartis Semantical analysis of modal logic. I. Normal modal propositional calculi Semantical considerations on modal logic Verification of Reactive Systems Model Checking Logiques temporelles et vérification de programmes Principles of model checking
prop-fr:url
n11:cours12.pdf n10:Verif.pdf
prop-fr:volume
9 16
prop-fr:éditeur
dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:MIT_Press
prop-fr:colonnes
2
prop-fr:références
{{
dbo:thumbnail
n15:Kripke.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Structure_de_Kripke
dbo:namedAfter
dbpedia-fr:Saul_Kripke
dbo:abstract
Une structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke. Elle est utilisée par exemple dans le model checking pour représenter le comportement d'un système. C'est un graphe orienté dont les nœuds représentent les états accessibles du système et dont les arcs représentent les transitions entre les états. Une fonction d'étiquetage fait correspondre à chaque état un ensemble de propositions logiques vraies dans cet état. Les logiques temporelles sont généralement interprétées dans des structures de Kripke. L'existence de certains chemins dans le graphe est alors considérée comme une éventualité de réalisation de formules.