# Kripke structure (model checking)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- ICTAC
- 2015

A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With thisâ€¦Â (More)

Is this relevant?

2011

2011

- CONCUR
- 2011

We revisit the complexity of the model checking problem for formulas of linear-time temporal logic (LTL). We show that theâ€¦Â (More)

Is this relevant?

2008

2008

- ICTAC
- 2008

Partial Kripke structures model incomplete state spaces with unknown parts. The evaluation of temporal logic formulae on partialâ€¦Â (More)

Is this relevant?

2007

2007

- 12th IEEE International Conference on Engineeringâ€¦
- 2007

This paper focuses on automated verification to check whether the behavior of a Web application conforms to its design. Theâ€¦Â (More)

Is this relevant?

2006

2006

- Trans. Computational Systems Biology
- 2006

In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitativeâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- J. Applied Logic
- 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

- ACM Trans. Softw. Eng. Methodol.
- 2003

This article introduces the concept of multi-valued model-checking and describes a multi-valued symbolic model-checker, Î§Chekâ€¦Â (More)

Is this relevant?

2002

2002

- 2002

We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integerâ€¦Â (More)

Is this relevant?

1994

1994

- ICALP
- 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

- Sci. Comput. Program.
- 1987

We consider automatic verification of finite state concurrent programs. The global state graph of such a program can be viewed asâ€¦Â (More)

Is this relevant?