Formal methods for smart cards: an experience report

DOI10.1016/j.scico.2004.05.011zbMath1075.68567DBLPjournals/scp/BreunesseCHJ05OpenAlexW2167849549WikidataQ57491357 ScholiaQ57491357MaRDI QIDQ1776578

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

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)

Related Items (1)

Compositional verification of sequential programs with procedures

Uses Software

• PVS
• JML
• ESC/Java

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