Thursday, 15 May 2003, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B216
Abstract: 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: