Homepage>Publikationen>PublikationsDetail

Formal Verification of a Commercial Smart Card Applet with Multiple Tools

In: C. Rattray, S. Maharaj, C. Shanklanded., Algebraic Methodology and Software Technology (AMAST 04). LNCS, volume 3116, p. 241--257, July, 2004

Authors

  • Bart Jacobs
  • Claude Marché
  • Nicole Rauch

Abstract

This paper presents a major Java source code verification case study that was carried out within the European VerifiCard<a rel="nofollow

Full Text

BibTeX 

@InProceedings{Jacobs.Marche.EA04formal, 
   author = {Bart Jacobs and Claude Marché and Nicole Rauch}
   title = {Formal Verification of a Commercial Smart Card Applet with Multiple Tools},
   booktitle = {Algebraic Methodology and Software Technology (AMAST 04)},
   series = {LNCS},
   publisher = {Springer},
   pages = {241--257},
   month = {July},
   year = {2004},
}