The KeY Approach: Integrating Object Oriented Design and Formal Verification

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:European Workshop on Logics in Artificial Intelligence (JELIA 2000)
Publisher:Springer
Series:LNCS 1919
Year:2000
DOI:10.1007/3-540-40006-0_3

BibTeX

@InProceedings{AhrendtBaarBeckertEA2000,
  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 Object Oriented
                  Design and Formal Verification},
  booktitle =    {European Workshop on Logics in Artificial Intelligence
		  ({JELIA} 2000)},
  venue  =       {Malaga, Spain},
  editor =       {Ojeda-Aciego, M. and Guzman, I. P. de and Brewka,
		  G. and Pereira, L. M.},
  publisher =    {Springer},
  series =       {LNCS 1919},
  eventdate =    {2000-09-29/2000-10-02},
  month =        sep,
  year =         {2000},
  doi =          {10.1007/3-540-40006-0_3}
}