FMona: A Tool for Expressing Validation Techniques over Infinite State Systems

@inproceedings{Bodeveix2000FMonaAT,
  title={FMona: A Tool for Expressing Validation Techniques over Infinite State Systems},
  author={Jean-Paul Bodeveix and Mamoun Filali},
  booktitle={TACAS},
  year={2000}
}
In this paper, we present a generic tool, called FMona, for expressing validation methods. we illustrate its use through the expression of the abstraction technique and its application to infinite or parameterized space problems. After a review of the basic results concerning transition systems, we show how abstraction can be expressed within FMona and used to build a reduced system with decidable properties. The FMona tool is used to express the validation steps leading to synthesis of a… CONTINUE READING
BETA

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…