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

DOI10.1016/J.SCICO.2010.03.003zbMATH Open1243.68137OpenAlexW2040318030MaRDI QIDQ436381FDOQ436381

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Specification and runtime verification of Java card programs

Cited In (4)

• JCML
• Specification and runtime verification of Java card programs
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Title not available (Why is that?)

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)