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

DOI10.1016/J.SCICO.2010.03.003MaRDI QIDQ436381zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Specification and runtime verification of Java card programs
• scientific article; zbMATH DE number 1857507
• scientific article; zbMATH DE number 1848384
• scientific article; zbMATH DE number 1706337
• scientific article; zbMATH DE number 1848374

Cites work

• scientific article; zbMATH DE number 1701766 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• Specification and runtime verification of Java card programs
• Specification and verification challenges for sequential object-oriented programs
• The B-Book
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Z/Eves and the Mondex Electronic Purse

Cited in

(4)

• Specification and runtime verification of Java card programs
• JCML
• scientific article; zbMATH DE number 1848384 (Why is no real title available?)
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436381)