Enhancing Approximations for Regular Reachability Analysis

Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko

This paper introduces two mechanisms for computing over-approximations of sets of reachable states, with the aim of ensuring termination of state-space exploration. The first mecha…