Application of the B formal method to the proof of a type verification algorithm
- 11 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 115-124
- https://doi.org/10.1109/hase.2000.895449
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A B model for ensuring soundness of a large subset of the Java Card virtual machineScience of Computer Programming, 2003
- Verified lightweight bytecode verificationConcurrency and Computation: Practice and Experience, 2001
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- The B-BookPublished by Cambridge University Press (CUP) ,1996