Conclusion
Durant ce stage:
- Etude langage, standards liés aux cartes à puce
- Modélisation de tous les acteurs
- Modification sém. formelle de Java
Objectifs:
- Compléter description formelle du langage
- Proposer de nouveaux outils
- Etude et Formalisation de propriétés liées à la sécurité
- Disposer d’un env. complet de dév. et vérification