Sciweavers

AMAST
2004
Springer

A Formally Verified Calculus for Full Java Card

14 years 2 months ago
A Formally Verified Calculus for Full Java Card
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.
Kurt Stenzel
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where AMAST
Authors Kurt Stenzel
Comments (0)