Formal specification of the JavaCard API in JML: the APDU class.

Erik Poll Joachim van den Berg Bart Jacobs

Published in: Comput. Networks (2001)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
process algebra
reverse engineering
data abstraction
concurrent systems
formal methods
high level
source code
relational databases
business rules
multi agent
model checker
database