Thierry Gueguen

Learn More
OBJECTIVE To evaluate the implementation of the checklist HAS 2010 in two Lorraine health facilities to identify objectively brakes and levers to suggest possible improvements. STUDY DESIGN Descriptive survey. MATERIAL AND METHODS Operating rooms of the Neurosciences building Central University Hospital, Nancy, Belle-Isle Hospital participating public(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