The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML-Reference-Cited by-同舟云学术

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Published:2004-01 Issue:1-2 Volume:58 Page:89-106
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Marché C.,Paulin-Mohring C.,Urbain X.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference28 articles.

1. G.T. Leavens, A.L. Baker, C. Ruby, Preliminary design of JML: a behavioral interface specification language for Java, Tech. Rep. 98-06i, Iowa State University, 2000

2. G.T. Leavens, E. Poll, C. Clifton, Y. Cheon, C. Ruby, JML Reference Manual, draft (April 2003)

3. Sun Microsystems, The JavaCard™ application programming interface (API), http://java.sun.com/ products/javacard/

4. JavaCard™ Technology for Smart Cards, The Java Series;Chen,2000

5. Formal specification of the JavaCard™ API in JML: the APDU class;Poll;Computer Networks,2001

Cited by 90 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proof of Security Properties: Application to JavaCard Virtual Machine;Computer Science Foundations and Applied Logic;2024

2. Formally Expressing What a Program Should Do: The ACSL Language;Computer Science Foundations and Applied Logic;2024

3. Certification of Sorting Algorithms Using Theorema and Coq;Lecture Notes in Computer Science;2024

4. Reasoning About Exceptional Behavior at the Level of Java Bytecode;iFM 2023;2023-11-06

5. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY;International Journal on Software Tools for Technology Transfer;2023-03-08