About: Kripke structure (model checking)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state

thumbnail
Property Value
dbo:description
  • semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state (en)
  • 各点が状態、各辺が状態遷移を表すグラフ、および各点をそれぞれ対応する状態において満たされる性質の集合に写像するラベル付け関数からなる時相論理の意味論 (ja)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Kripke structure (model checking) (en)
  • Δομή Κρίπκε (el)
  • Estructura de Kripke (es)
  • Modelli di Kripke (it)
  • Structure de Kripke (fr)
  • 크립키 구조 (ko)
  • Model Kripkego (pl)
  • Модель Крипке (ru)
  • 克里普克结构 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableIdeas of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International