Experimenting Acceleration Methods for the Validation of Infinite
State Systems
Jean-Paul Bodevix and Mamoun Filali
IRIT Universite Paul Sabatier, FRANCE
Abstract
In this paper, we present a generic validation tool, called FMona. We
illustrate its use through the expression of iterative and abstraction
methods. These methods are applied for the validation of infinite or
parameterized space problems. We propose two techniques to enhance iterative
methods by accelerating their convergence. These techniques are expressed in
FMona and applied on some examples.
Keywords:
Verification Technique, Validation tools, Parameterized systems.