Formal specification of the JavaCard API in JML: the APDU class
- 1 July 2001
- journal article
- Published by Elsevier in Computer Networks
- Vol. 36 (4) , 407-421
- https://doi.org/10.1016/s1389-1286(01)00163-3
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Java Program Verification via a Hoare Logic with Abrupt TerminationPublished by Springer Nature ,2000
- Specification of the Javacard API in JMLPublished by Springer Nature ,2000
- A Type-Theoretic Memory Model for Verification of Sequential Java ProgramsPublished by Springer Nature ,2000
- JML (poster session)Published by Association for Computing Machinery (ACM) ,2000
- JML: A Notation for Detailed DesignPublished by Springer Nature ,1999
- Reasoning about Java classesACM SIGPLAN Notices, 1998
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- IsabellePublished by Springer Nature ,1994
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981