Table des matières
Simulation d'Applications Java Card
Quelques Définitions
Etat de l'art : Travaux formels
Etat de l'art: Outils adaptés à Java Card
La Sémantique Naturelle de Java
Définition Syntaxique de Java Card
Exemple de vérification statique : Tableau unidimensionnel
Notre simulateur d'applications Java Card: Présentation
Notre simulateur d'applications Java Card: Fonctionnement
Modifications sémantiques
Résultats
Discussion/Travaux Futurs (1/2)
Discussion/Travaux Futurs (2/2)
Conclusion
|
Auteur: Carine Courbis
Messagerie: Carine.Courbis@sophia.inria.fr
Page d'accueil: http://www.inria.fr/oasis/javacard
|