The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML |
scientific article |
Statements
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (English)
0 references
14 October 2004
0 references
JAVA
0 references
JML specifications
0 references
Modeling
0 references
Formal proof
0 references
0 references
