About: Kripke structure (model checking)

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

About: Kripke structure (model checking) 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	Estructura de Kripke (es) Kripke structure (model checking) (en) Model Kripkego (pl) Structure de Kripke (fr) Модель Крипке (ru)
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. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Kripke_models
sameAs	Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking) Kripke structure (model checking)
Wikipage page ID	746972 (xsd:integer)
Wikipage revision ID	178471837 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automate category-fr:Vérification_de_modèles category-fr:Logique_temporelle dbpedia-fr:Automate_fini Propositional calculus category-fr:Calculabilité category-fr:Famille_de_graphes category-fr:Logique_modale dbpedia-fr:Graphe_(mathématiques_discrètes) dbpedia-fr:Interblocage dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle dbpedia-fr:MIT_Press Moore machine Nondeterministic Turing machine dbpedia-fr:Mot_infini dbpedia-fr:N-uplet Saul Kripke dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_automates dbpedia-fr:Vérification_de_modèles dbpedia-fr:Système_réactif
Link from a Wikipage to an external page	http://pagesperso-systeme.lip6.fr/Beatrice.Berard/PDF/Verif.pdf https://books.google.fr/books%3Fid=Nmc4wEaLXFEC https://books.google.fr/books%3Fid=Z92bL1VrD_sC http://www.irisa.fr/celtique/pichardie/teaching/L3/LOG/cours12.pdf
page length (characters) of wiki page	7365 (xsd:nonNegativeInteger)
dct:subject	category-fr:Automate category-fr:Vérification_de_modèles category-fr:Logique_temporelle category-fr:Calculabilité category-fr:Famille_de_graphes category-fr:Logique_modale
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Structure_de_Kripke?oldid=178471837&ns=0
foaf:depiction
prop-fr:année	1963 (xsd:integer) 1999 (xsd:integer) 2004 (xsd:integer) 2008 (xsd:integer)
prop-fr:auteur	Béatrice Berard (fr) Saul A. Kripke (fr)
prop-fr:collection	Texts in Theoretical Computer Science. An EATCS Series (fr)
prop-fr:consultéLe	2012-06-30 (xsd:date)
prop-fr:isbn	978 (xsd:integer)
prop-fr:journal	Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (fr) Acta Philosophica Fennica Fasc. (fr)
prop-fr:langue	en (fr)
prop-fr:lieu	Cambridge (fr)
prop-fr:nom	Schneider (fr) Clarke (fr) Baier (fr) Grumberg (fr) Peled (fr) Katoen (fr)
prop-fr:pages	67 (xsd:integer) 83 (xsd:integer)
prop-fr:pagesTotales	314 (xsd:integer) 975 (xsd:integer) xiv+600 (fr)
prop-fr:prénom	Klaus (fr) Christel (fr) Doron A. (fr) Edmund M. (fr) Orna (fr) Joost-Pieter (fr)
prop-fr:présentationEnLigne	https://books.google.fr/books%3Fid=Nmc4wEaLXFEC https://books.google.fr/books%3Fid=Z92bL1VrD_sC

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