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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
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
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
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
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
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
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
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
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
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
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?