Sciweavers

CARDIS
2000
Springer
129views Hardware» more  CARDIS 2000»
13 years 11 months ago
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
Erik Poll, Joachim van den Berg, Bart Jacobs