Formal methods for smart cards: an experience report

DOI10.1016/J.SCICO.2004.05.011MaRDI QIDQ1776578zbMATH OpenOpenAlexDBLPWikidataFDO

Authors C.-B. Breunesse, N. Cataño, Marieke Huisman, Bart Jacobs

Publication date 12 May 2005

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

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

zbMATH Keywords

Java CardJMLFormal verificationAnnotationsESC/JavaFormal specification languagesSmart cards

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2090142
• Algebraic Methodology and Software Technology
• Source code verification of a secure payment applet
• Fundamental Approaches to Software Engineering
• Fundamental Approaches to Software Engineering

Cited in

(8)

• Compositional verification of sequential programs with procedures
• Source code verification of a secure payment applet
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2090142 (Why is no real title available?)
• scientific article; zbMATH DE number 1706337 (Why is no real title available?)
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1696610 (Why is no real title available?)
• scientific article; zbMATH DE number 1848384 (Why is no real title available?)

Describes a project that uses

Uses Software

• ESC/Java
• JML
• PVS

This page was built for publication: Formal methods for smart cards: an experience report

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