Speaker: Gilles BARTHE, INRIA Sophia Antipolis, France
Place: Room B 216, Institute of Cybernetics, Akadeemia tee 21, Tallinn, Estonia
Time: Thursday, May 15, 2003, 14:00

"Reasoning about JavaCard"


JavaCard is a dialect of Java that enables Java technology to run on new generation smart cards and other devices with limited memory. As JavaCard is increasingly popular, there has been a strong interest, both from academics and industrials, to reason formally about the JavaCard platform and JavaCard applications.

This talk will report about ongoing work about the specification and verification of the JavaCard platform and of JavaCard programs.

For more information, check: