Kripke structure (model checking)
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.
notableIdea
Wikipage redirect
notable ideas
primaryTopic
Kripke structure (model checking)
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.
has abstract
A Kripke structure is a variat ...... in terms of Kripke structures.
@en
I modelli di Kripke sono creat ...... lla loro effettiva attuazione.
@it
Model Kripkego (nazywany równi ...... lacyjną Saula Aarona Kripkego.
@pl
Una estructura de Kripke es un ...... inos de estructuras de Kripke.
@es
Une structure de Kripke est un ...... té de réalisation de formules.
@fr
Η δομή Κρίπκε (Αγγλικά: Kripke ...... ερμηνεύονται με δομές Κρίπκε.
@el
Модель Крипке (англ. Kripke st ...... я в соответствующем состоянии.
@ru
克里普克结构(或称Kripke结构)是迁移系统的一个变种,最 ...... 质的集合映射起来。时序逻辑传统上是由克里普克结构进行解释的。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,009,691,473
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
A Kripke structure is a variat ...... in terms of Kripke structures.
@en
I modelli di Kripke sono creat ...... lla loro effettiva attuazione.
@it
Model Kripkego (nazywany równi ...... lacyjną Saula Aarona Kripkego.
@pl
Una estructura de Kripke es un ...... inos de estructuras de Kripke.
@es
Une structure de Kripke est un ...... té de réalisation de formules.
@fr
Η δομή Κρίπκε (Αγγλικά: Kripke ...... ερμηνεύονται με δομές Κρίπκε.
@el
Модель Крипке (англ. Kripke st ...... ходы из состояния в состояние.
@ru
克里普克结构(或称Kripke结构)是迁移系统的一个变种,最 ...... 质的集合映射起来。时序逻辑传统上是由克里普克结构进行解释的。
@zh
label
Estructura de Kripke
@es
Kripke structure (model checking)
@en
Model Kripkego
@pl
Modelli di Kripke
@it
Structure de Kripke
@fr
Δομή Κρίπκε
@el
Модель Крипке
@ru
克里普克结构
@zh
크립키 구조
@ko