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

DOI10.1016/j.scico.2010.03.003zbMath1243.68137OpenAlexW2040318030MaRDI QIDQ436381

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

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.03.003

zbMATH Keywords

runtime verificationJava CardJCMLJML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

JCML

Uses Software

• Coq
• KRAKATOA
• Eiffel
• Daikon
• JML
• Z/EVES
• Z
• LOOP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Specification and verification challenges for sequential object-oriented programs
• Z/Eves and the Mondex Electronic Purse
• The B-Book
• Specification and Runtime Verification of Java Card Programs

This page was built for publication: JCML: A specification language for the runtime verification of Java card programs