JavaCard Program Verification

Authors:
Bart Jacobs
Affiliations:
-
Venue:
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Year:
2001

Citing 3
Cited 1

Java Card Technology for Smart Cards: Architecture and Programmer's Guide

Java Card Technology for Smart Cards: Architecture and Programmer's Guide
A Logic for the Java Modeling Language JML

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The LOOP Compiler for Java and JML

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification

Verified Software: Theories, Tools, Experiments

Quantified Score

Hi-index	0.01

Visualization

Abstract

This abstract provides some background information on smart cards, and explains the challenges these cards represent for formal verification of software.