Abstract
We are interested in formal verification and model-based testing. In general these techniques suffer from the well known state explosion problem. To overcome this situation we propose a set of techniques which allow to reduce the duration, cost and complexity of these problems.; Nous nous intéressons à la vérification formelle et aux tests basés sur des modèles. En général, ces techniques souffrent du problème d'explosion d'états. Pour remédier à ça, nous proposons un ensemble de techniques visant à réduire le coût, la durée et la complexité de ces problèmes.