Thierry Gueguen

Learn More
Checking safety properties is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, the automatic generation of counterexamples for a given loop depth is achievable, and is therefore an important issue in practice. We propose in this paper a dynamic constraint based exploration strategy for(More)
La vérification de propriétés de sûreté est incon-tournable dans le processus de validation des logi-ciels critiques. Lorsque les outils de vérification for-mellé echouentà démontrer certaines propriétés, la re-cherche de contre-exemples des propriétés violées est un point crucial, notamment pour les programmes complexes pour lesquels les jeux de test sont(More)
  • 1