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