SODA

Guaranteeing correctness properties of a Java Card applet

Fredlund, Lars-Åke (2004) Guaranteeing correctness properties of a Java Card applet. Electronic Notes in Theoretical Computer Science , 113 . pp. 217-233. ISSN 1571-0661

Full text not available from this repository.

Abstract

The paper describes an experiment in which a framework for model checking Java byte code, combined with the application of runtime monitoring techniques through code rewriting, was used to guarantee correctness properties of a Java Card applet.

Item Type:Article
Additional Information:In: Proceedings of the RV'04 workshop (Runtime Verification '04), at Barcelona
ID Code:2739
Deposited By:INVALID USER
Deposited On:10 Mar 2008
Last Modified:18 Nov 2009 16:13

Repository Staff Only: item control page