Skip to Main content Skip to Navigation
Journal articles

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

Claude Marché 1, 2 Christine Paulin-Mohring 1, 2 Xavier Urbain 1, 3
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
3 LOGICAL - Logic and computing
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR8623
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01984932
Contributor : Xavier Urbain <>
Submitted on : Thursday, January 17, 2019 - 2:21:23 PM
Last modification on : Tuesday, April 21, 2020 - 1:09:26 AM

Links full text

Identifiers

Collections

Citation

Claude Marché, Christine Paulin-Mohring, Xavier Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Journal of Logic and Algebraic Programming, Elsevier, 2004, 58 (1-2), pp.89-106. ⟨10.1016/j.jlap.2003.07.006⟩. ⟨hal-01984932⟩

Share

Metrics

Record views

67