Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656083 | Electronic Notes in Theoretical Computer Science | 2005 | 17 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Lars-Ã
ke Fredlund,