Specification of the JavaCard API in JML.

Erik Poll Joachim van den Berg Bart Jacobs

Published in: CARDIS (2000)

Keyphrases

formal specification
high level
specification language
smart card
machine learning
source code
database
data mining
model checking
reverse engineering
temporal ordering
application programming interface
application developers
formal methods
software components
third party
case study
databases