Get started
Author

Asma Tafat

A Refinement Methodology for Object-Oriented Programs
2011 · Asma Tafat, Sylvain Boulmé, et al. · Lecture notes in computer science · 10
Binary Heaps Formally Verified in Why3
2011 · Asma Tafat, Claude Marché · HAL · 5
Weakest Precondition Calculus, Revisited using Why3
2012 · Marché, Claude, Tafat, Asma · HAL · 3
A Refinement Approach for Correct-by-Construction Object-Oriented Programs
2010 · Tafat, Asma, Boulmé, Sylvain, et al. · HAL · 3
A new approach for an AHDL based on system semantics
2002 · Y. Bourai, N. Izeboudjen, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC) · 2
Preuves par raffinement de programmes avec pointeurs
2013 · Asma Tafat · theses.fr (ABES) · 1
PDF
Calcul de plus faible précondition, revisité en Why3
2013 · Marché, Claude, Tafat, Asma · HAL
Scientific Foundations - Proof of Imperative andObject-Oriented programs
2011 · Romain Bardou, François Bobot, et al.
To cite this version
2010 · Asma Tafat, Sylvain Boulm, et al.
Other Grants and Activities - European initiatives
2010 · Claude Marché, Romain Bardou, et al.
Approach for Correct-by-Construction
2010 · Object-Oriented Programs, Asma Tafat, et al.
Other Grants and Activities - National initiatives
2010 · Jean-Christophe Filliâtre, Claude Marché, et al.
Object-Oriented Programs
2009 · Asma Tafat, Asma Tafat, et al. · Texts in computer science
Works count: 19
Citation count: 24
H-index: 3
I10-index: 1
Year
Topic
Type