Next: Bibliography
Up: Model Checking of Multi-Applet
Previous: Conclusions and Future Work
We would like to thank Mads Dam for his insightful comments
on the verification of JavaCard applets,
and Florimond Ployette of INRIA Rennes for
his help with modifying
the Java based static analysis tool for JavaCard.
Thanks are due also to
Stefan Schwoon from Technische Universität München
for his assistance with the use of the Moped tool,
and to the anonymous referees
for their valuable remarks on the submitted version of this
paper.
Lars-Ake Fredlund
2002-09-23