The KeY Approach: Integrating Design and Formal Verification of Java Card Programs

Reviewed Paper In Proceedings

Author(s):Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, and Peter H. Schmitt
In:Java Card Workshop (JCW 2000)
Publisher:INRIA, Le Chesnay Cedex, France
Year:2000

BibTeX

@InProceedings{AhrendtBaarBeckertEA00b,
  author    =    {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert
                  and Martin Giese and Elmar Habermalz and Reiner
                  H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title     =    {The {\KeY} Approach: {I}ntegrating 
                  Design and Formal Verification of {J}ava {C}ard Programs},
  booktitle =    {{Java} {Card} Workshop ({JCW} 2000)},
  venue     =    {Cannes, France},
  editor    =    {I. Attali and T. Jensen},
  publisher =    {{INRIA}, Le Chesnay Cedex, France},
  year      =    {2000}
}