|
|
|
 Voici mes publications
Livres et chapitres de livres
-
[1]
-
Asma Tafat, Sylvain Boulmé, and Claude Marché.
A refinement methodology for object-oriented programs.
In Bernhard Beckert and Claude Marché, editors, Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010, volume 6528 of Lecture Notes in Computer Science. Springer, January 2011.
[ bib ]
Conférences
-
[1]
- Asma Tafat, Sylvain Boulmé, and Claude Marché.
A refinement methodology for object-oriented programs.
In Bernhard Beckert and Claude Marché, editors, Formal
Verification of Object-Oriented Software, Papers Presented at the
International Conference, Karlsruhe Reports in Informatics, pages 143-159,
Paris, France, June 2010.
http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083.
[ bib ]
Autres
-
[3]
-
Asma Tafat and Claude Marché.
Binary Heaps Formally Verified in Why3.
Technical Report RR-7780, INRIA, 2011.
[ bib |
full paper on HAL ]
-
[2]
-
Asma Tafat, Sylvain Boulmé, and Claude Marché.
A refinement approach for correct-by-construction object-oriented
programs.
Technical Report RR-7310, INRIA, 2010.
[ bib |
full paper on HAL ]
-
[1]
-
Asma Tafat. Invariants et raffinements en présence de partage. Rapport de stage du master, Université Paris 6, 2009.
[ bib |
.pdf ]
|
