A formally verified calculus for full Java Card (2004)
Cached
Download Links
- [www.informatik.uni-augsburg.de]
- [www.informatik.uni-augsburg.de]
- DBLP
Other Repositories/Bibliography
by
Kurt Stenzel
| Venue: | AMAST 2004. LNCS |
| Citations: | 20 - 6 self |
BibTeX
@INPROCEEDINGS{Stenzel04aformally,
author = {Kurt Stenzel},
title = {A formally verified calculus for full Java Card},
booktitle = {AMAST 2004. LNCS},
year = {2004},
pages = {491--505},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
Citations
| 59 | A dynamic logic for the formal verification of Java Card programs - Beckert - 2001 |
| 48 | Formal system development with KIV - Balser, Reif, et al. - 2000 |
| 4 | Formal Syntax and Semantics of Java - Alves-Foss, editor - 1999 |
