Paper Info
Title
From Finite State Machines to Provably Correct Java Card Applets
Abstract
This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state machines. The formal specifications are written in the specification language JML, and call be checked against Java Card source code using the static checker ESC/Java.
Year
Venue
Keywords
2003
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING
source code,java card,finite state machine,state machine
Field
DocType
Volume
Programming language,Computer science,Java annotation,Real time Java,Java Card,Generics in Java,strictfp,Java applet,Java Modeling Language,Java,Operating system
Conference
122
ISSN
Citations 
PageRank 
1571-5736
9
0.78
References 
Authors
4
3
Name
Order
Citations
PageRank
Engelbert Hubbers110810.20
Martijn Oostdijk213213.89
Erik Poll3103489.71