Etat de l’art: Outils adaptés à Java Card
Le checker Java Card de Sun
Outils commerciaux :
- GemXpresso Rapid Applet Development de Gemplus
- Cyberflex 2.0 Multi8K de Schlumberger
- Odyssey Lab de Bull/CP8
- Spécifiques Java Card uniquement sur le byte code
- notre environnement basé sur une sémantique formelle du langage source