Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kripke_structure_(model_checking)> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Kripke_structure_(model_checking) abstract "This article describes Kripke structures as used in model checking. For a more general description, see Kripke semantics.A Kripke structure is a variation of nondeterministic automaton proposed by Saul Kripke, used in model checking to represent the behavior of a system.It is a simple abstract machine (a mathematical object) to capture the idea of a computing machine, without adding unnecessary complexities. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state transitions. A labeling function maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures.[citation needed]".
- Kripke_structure_(model_checking) thumbnail KripkeStructureExample.svg?width=300.
- Kripke_structure_(model_checking) wikiPageID "1591127".
- Kripke_structure_(model_checking) wikiPageRevisionID "583318467".
- Kripke_structure_(model_checking) hasPhotoCollection Kripke_structure_(model_checking).
- Kripke_structure_(model_checking) subject Category:Model_checking.
- Kripke_structure_(model_checking) subject Category:Temporal_logic.
- Kripke_structure_(model_checking) comment "This article describes Kripke structures as used in model checking. For a more general description, see Kripke semantics.A Kripke structure is a variation of nondeterministic automaton proposed by Saul Kripke, used in model checking to represent the behavior of a system.It is a simple abstract machine (a mathematical object) to capture the idea of a computing machine, without adding unnecessary complexities.".
- Kripke_structure_(model_checking) label "Kripke structure (model checking)".
- Kripke_structure_(model_checking) label "Model Kripkego".
- Kripke_structure_(model_checking) label "Structure de Kripke".
- Kripke_structure_(model_checking) label "Модель Крипке".
- Kripke_structure_(model_checking) sameAs Δομή_Κρίπκε.
- Kripke_structure_(model_checking) sameAs Structure_de_Kripke.
- Kripke_structure_(model_checking) sameAs 크립키_구조.
- Kripke_structure_(model_checking) sameAs Model_Kripkego.
- Kripke_structure_(model_checking) sameAs m.05dypg.
- Kripke_structure_(model_checking) sameAs Q1077740.
- Kripke_structure_(model_checking) sameAs Q1077740.
- Kripke_structure_(model_checking) wasDerivedFrom Kripke_structure_(model_checking)?oldid=583318467.
- Kripke_structure_(model_checking) depiction KripkeStructureExample.svg.
- Kripke_structure_(model_checking) isPrimaryTopicOf Kripke_structure_(model_checking).
