An Approximation-based Approach for the Random Exploration of Large Models

Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko

System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model…