Byte code verification for Java smart cards based on model checking
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 175-190
- https://doi.org/10.1007/bfb0055863
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Programmer Friendly Modular Definition of the Semantics of JavaPublished by Springer Nature ,1999
- Java auf ChipkartenInformatik Spektrum, 1998
- Die Sicherheitsaspekte von JavaInformatik Spektrum, 1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Verification tools for finite-state concurrent systemsPublished by Springer Nature ,1994
- Using branching time temporal logic to synthesize synchronization skeletonsScience of Computer Programming, 1982