Property - Sensitive State Space

  • ReductionCh. Sprenger, K. WorytkiewiczSwiss

Abstract

In the context of model-checking, state space reduction techniques are often conservative in the sense that the checked property is not taken into into account. The reduction method discussed in this paper tackles the problem. It is based on automata-theoretic ideas and incorporates a ne-grained analysis of the interplay between the system and the checked… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics