Property - Sensitive State Space

  • ReductionCh. Sprenger, K. WorytkiewiczSwiss


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)


Figures and Tables

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

Slides referencing similar topics