责任导师 : Thérèse HARDIN

Analyse de sûreté du logiciel par interprétation abstraite et contraintes

答辩 : 2002-5-22

评委会 :

Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF

2001-2002 刊物

• 2002
  • F. Parrennes : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, thesis, 答辩 2002-5-22, 责任导师 Hardin, Thérèse (2002)
• 2001
  • F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, (2001)