The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML
- 1 January 2004
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 58 (1-2) , 89-106
- https://doi.org/10.1016/j.jlap.2003.07.006
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Multi-prover Verification of C ProgramsPublished by Springer Nature ,2004
- An overview of JML tools and applicationsElectronic Notes in Theoretical Computer Science, 2003
- Verification of non-functional programs using interpretations in type theoryJournal of Functional Programming, 2003
- Proving Pointer Programs in Higher-Order LogicPublished by Springer Nature ,2003
- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal VerificationPublished by Springer Nature ,2003
- Formal specification of the JavaCard API in JML: the APDU classComputer Networks, 2001
- Safely creating correct subclasses without seeing superclass codeACM SIGPLAN Notices, 2000
- Proving Pointer Programs in Hoare LogicPublished by Springer Nature ,2000
- An Asymptotically Optimal Algorithm for the Dutch National Flag ProblemSIAM Journal on Computing, 1982