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
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01984932
Contributor : Xavier Urbain <>
Submitted on : Thursday, January 17, 2019 - 2:21:23 PM
Last modification on : Saturday, May 1, 2021 - 3:39:16 AM

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

90