Kripke structure (model checking)

Known as: Kripke Structure, Kripke structures 
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… (More)
Wikipedia

Related topics

Related topics

11 relations
Computation tree logicDeadlockGraph (discrete mathematics)Kripke semantics
(More)

Broader (2)

Model checkingTemporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
CSP and Kripke Structures
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this… (More)
  • figure 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
2011
2011
Weak Kripke Structures and LTL
We revisit the complexity of the model checking problem for formulas of linear-time temporal logic (LTL). We show that the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
Bounded Model Checking for Partial Kripke Structures
Partial Kripke structures model incomplete state spaces with unknown parts. The evaluation of temporal logic formulae on partial… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Model Checking-based Verification of Web Application
This paper focuses on automated verification to check whether the behavior of a Web application conforms to its design. The… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 4
  • figure 3
Is this relevant?
2006
2006
Adapting Biochemical Kripke Structures for Distributed Model Checking
In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitative… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Multi-valued symbolic model-checking
This article introduces the concept of multi-valued model-checking and describes a multi-valued symbolic model-checker, ΧChek… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
On model checking durational Kripke structures (Extended abstract)
We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1994
1994
Equivalences for Fair Kripke Structures
Abst rac t . We extend the notion of bisimulation to Kripke structures with fairness. We define equivalences that preserve… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Modalities for Model Checking: Branching Time Logic Strikes Back
We consider automatic verification of finite state concurrent programs. The global state graph of such a program can be viewed as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?