About: Kripke structure (model checking)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Kripke structure (model checking) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

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 consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures.

Attributes	Values
rdfs:label	Kripke structure (model checking) (en)
rdfs:comment	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 consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures. (en)
sameAs	Kripke structure (model checking) Kripke structure (model checking)
dbp:wikiPageUsesTemplate	dbt:= dbt:Citation_needed dbt:Commons_category dbt:Math dbt:Mvar dbt:Reflist dbt:Mset
Subject	Temporal logic Transition systems Model checking
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Kripke_structure_(model_checking)?oldid=1068734877&ns=0
Wikipage page ID	1591127 (xsd:integer)
page length (characters) of wiki page	6169 (xsd:nonNegativeInteger)
Wikipage revision ID	1068734877 (xsd:integer)
Link from a Wikipage to another Wikipage	Propositional calculus Binary relation Moore machine Omega language Tuple Temporal logic Transition systems Model checking Deadlock Linear temporal logic Temporal logic Computation tree logic Finite set Graph Kripke semantics Modal μ-calculus Model checking Saul Kripke Transition system
has abstract	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 consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Kripke_structure_(model_checking)
is notableIdea of	Saul Kripke
is Wikipage redirect of	Kripke Structure Kripke structure Kripke structures
is Link from a Wikipage to another Wikipage of	List of terms relating to algorithms and data structures Büchi automaton CTL* Linear temporal logic Linear time property Common knowledge (logic) KeY Kripke Structure Kripke structure Kripke structures
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Kripke_structure_(model_checking)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 927 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software