|
Tool-Assisted Specification and Verification
of the JavaCard Platform
, AMAST 2002 |
full paper
|
Tool-Assisted Specification and Verification
of the JavaCard Platform, AMAST 2002 |
|
|
Efficient Reasoning about executable specifications in
Coq, TPHOLs 2002 |
full paper
|
Efficient Reasoning about executable specifications in
Coq, TPHOLs 2002 |
|
|
Normalized Types, CSL 2001 |
full paper
|
Normalized Types,
CSL 2001 |
|
|
Proving self-stabilization with a proof assistant,
FMPPTA'2002 |
full
paper
|
Proving self-stabilization with a proof assistant,
FMPPTA'2002 |
|
|
Ma thèse |
Version définitive
|
My thesis, final version (in french) |
|
|
Extension au polymorphisme du lambda-calcul typé avec
motifs, Mémoire de DEA (juin 1996) |
Mémoire
|
|
|
|
|
|
Jakarta: a toolset for Javacard Platform verification
en préparation |
full paper
|
Jakarta: a toolset for Javacard Platform verification
in preparation |