Verified lightweight bytecode verification
- 13 November 2001
- journal article
- research article
- Published by Wiley in Concurrency and Computation: Practice and Experience
- Vol. 13 (13) , 1133-1151
- https://doi.org/10.1002/cpe.597
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Isar — A Generic Interpretative Approach to Readable Formal Proof DocumentsPublished by Springer Nature ,1999
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLPublished by Springer Nature ,1999
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- On a New Method for Dataflow Analysis of Java Virtual Machine SubroutinesPublished by Springer Nature ,1998
- IsabellePublished by Springer Nature ,1994