Supervision : Thérèse HARDIN

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

Phd defence : 05/22/2002

Jury members :

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 Publications

• 2002
  • F. Parrennes : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, thesis, phd defence 05/22/2002, supervision Hardin, Thérèse (2002)
• 2001
  • F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, (2001)