Specification and Runtime Verification of Java Card Programs

DOI10.1016/j.entcs.2009.05.045zbMath1347.68063OpenAlexW2118629387MaRDI QIDQ5179352

Plácido A. Souza Neto, Martin A. Musicante, Umberto Souza da Costa, Anamaria Martins Moreira

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.045

zbMATH Keywords

Java cardruntime verificationcompilerJCMLJML

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

JCML: A specification language for the runtime verification of Java card programs

Uses Software

• Coq
• KRAKATOA
• Eiffel
• Daikon
• JML
• JCML
• Z
• LOOP

Cites Work

• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• The B-Book
• KeY: A Formal Method for Object-Oriented Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Specification and Runtime Verification of Java Card Programs