Sciweavers

Share
SEC
2003

From Finite State Machines to Provably Correct Java Card Applets

9 years 3 months ago
From Finite State Machines to Provably Correct Java Card Applets
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state machines. The formal specifications are written in the specification language JML, and can be checked against Java Card source code using the static checker ESC/Java.
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 2003
Where SEC
Authors Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Comments (0)
books