We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally proved correct with respect to a natural semantics. It is implemented in the KIV system and used for smart card applications. © Springer-Verlag 2004.
CITATION STYLE
Stenzel, K. (2004). A formally verified calculus for full java card. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3116, 491–505. https://doi.org/10.1007/978-3-540-27815-3_37
Mendeley helps you to discover research relevant for your work.