- Fabrice
Parrennes.
Analyse de sûreté du logiciel par interprétation
abstraite et contraintes.
Thèse de doctorat, Université de Paris 6, 2002.
- Fabrice
Parrennes.
Fraction : analyseur de
propriétés par des techniques de résolution de contraintes.
Technical report, Laboratoire d'Informatique de Paris VI, 2001.
- Fabrice Parrennes.
Fraction, vérification de propriétés par résolution de
contraintes.
Poster présenté lors de la conférence JFPLC'2001 - Lip6, Surlog SA,
2001.
- Fabrice
Parrennes.
Exposé loria : Détermination de propriétés par
utilisation de contraintes.
Ces transparents présentent l'idée d'utiliser des contraintes pour la
détermination de propriétés de programmes, Mars 2000.
- Fabrice Parrennes.
Rapport de stage DEA Sémantique, Preuves et Programmation.
Laboratoire d'Informatique de Paris VI, Surlog SA, 1997.
