Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kripke_structure_(model_checking)> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples 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 the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system.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.".
- Kripke_structure_(model_checking) thumbnail KripkeStructureExample.svg?width=300.
- Kripke_structure_(model_checking) wikiPageID "1591127".
- Kripke_structure_(model_checking) wikiPageLength "5157".
- Kripke_structure_(model_checking) wikiPageOutDegree "24".
- Kripke_structure_(model_checking) wikiPageRevisionID "635521554".
- Kripke_structure_(model_checking) wikiPageWikiLink Category:Model_checking.
- Kripke_structure_(model_checking) wikiPageWikiLink Category:Temporal_logic.
- Kripke_structure_(model_checking) wikiPageWikiLink Computation_tree_logic.
- Kripke_structure_(model_checking) wikiPageWikiLink Deadlock.
- Kripke_structure_(model_checking) wikiPageWikiLink File:KripkeStructureExample.svg.
- Kripke_structure_(model_checking) wikiPageWikiLink Finite_set.
- Kripke_structure_(model_checking) wikiPageWikiLink Graph_(mathematics).
- Kripke_structure_(model_checking) wikiPageWikiLink Kripke_semantics.
- Kripke_structure_(model_checking) wikiPageWikiLink Left-total.
- Kripke_structure_(model_checking) wikiPageWikiLink Linear_temporal_logic.
- Kripke_structure_(model_checking) wikiPageWikiLink Modal_μ-calculus.
- Kripke_structure_(model_checking) wikiPageWikiLink Model_checking.
- Kripke_structure_(model_checking) wikiPageWikiLink Moore_machine.
- Kripke_structure_(model_checking) wikiPageWikiLink Multivalued_function.
- Kripke_structure_(model_checking) wikiPageWikiLink N-tuple.
- Kripke_structure_(model_checking) wikiPageWikiLink Omega_language.
- Kripke_structure_(model_checking) wikiPageWikiLink Propositional_calculus.
- Kripke_structure_(model_checking) wikiPageWikiLink Saul_Kripke.
- Kripke_structure_(model_checking) wikiPageWikiLink Temporal_logic.
- Kripke_structure_(model_checking) wikiPageWikiLink Transition_system.
- Kripke_structure_(model_checking) wikiPageWikiLink Tuple.
- Kripke_structure_(model_checking) wikiPageWikiLink Ω-language.
- Kripke_structure_(model_checking) wikiPageWikiLinkText "Kripke structure (model checking)".
- Kripke_structure_(model_checking) hasPhotoCollection Kripke_structure_(model_checking).
- Kripke_structure_(model_checking) wikiPageUsesTemplate Template:Citation_needed.
- Kripke_structure_(model_checking) wikiPageUsesTemplate Template:Commons_category.
- Kripke_structure_(model_checking) wikiPageUsesTemplate Template:Reflist.
- 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 the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system.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.".
- Kripke_structure_(model_checking) label "Kripke structure (model checking)".
- Kripke_structure_(model_checking) sameAs Δομή_Κρίπκε.
- Kripke_structure_(model_checking) sameAs Estructura_de_Kripke.
- Kripke_structure_(model_checking) sameAs Structure_de_Kripke.
- Kripke_structure_(model_checking) sameAs Modelli_di_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 Модель_Крипке.
- Kripke_structure_(model_checking) sameAs Kripkeho_štruktúra.
- Kripke_structure_(model_checking) sameAs Q1077740.
- Kripke_structure_(model_checking) sameAs Q1077740.
- Kripke_structure_(model_checking) wasDerivedFrom Kripke_structure_(model_checking)?oldid=635521554.
- Kripke_structure_(model_checking) depiction KripkeStructureExample.svg.
- Kripke_structure_(model_checking) isPrimaryTopicOf Kripke_structure_(model_checking).