Kripke structure
Sign in to savesemantics 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
Wikidata facts
Show 1 more fact
- Commons category
- Kripke models
via Wikidata · CC0
Connections
International Standard Book Number
Entity
graph
Entity
propositional calculus
Entity
finite set
Entity
Saul Kripke
Entity
𝑛-tuple
Entity
deadlock
Entity
Edmund M. Clarke
Entity
temporal logic
Entity
Moore machine
Entity
model checking
Entity
linear temporal logic
Entity
state transition system
Entity
Kripke semantics
Entity
computation tree logic
Entity
Orna Grumberg
Entity
Joost-Pieter Katoen
Entity
omega language
Entity
Christel Baier
Entity