Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A Dynamic Logic for the Formal Verification of Java Card Programs

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert
In:International Workshop on Java on Smart Cards: Programming and Security (Java Card 2000), Revised Papers
Publisher:Springer
Series:LNCS
Volume:2041
Year:2001
Pages:6-24

BibTeX

@InProceedings{Beckert01,
  author =       {Bernhard Beckert},
  title =        {A Dynamic Logic for the Formal Verification of
		  {J}ava {C}ard Programs},
  booktitle =    {International Workshop on Java on Smart Cards:
                  Programming and Security ({Java} {Card} 2000),
                  Revised Papers},
  venue =	 {Cannes, France},
  editor =       {I. Attali and T. Jensen},
  pages =        {6--24},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2041},
  year =         {2001}
}