The KeY Approach: Integrating Object Oriented Design and Formal Verification

Technical Report

Author(s):Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, and Peter H. Schmitt
Institution:University of Karlsruhe, Department of Computer Science
Number:2000/4
Year:2000

BibTeX

@TechReport{AhrendtBaarEA00,
  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},
  institution =  {University of Karlsruhe, Department of Computer Science},
  number = 	 {2000/4},
  month = 	 jan,
  year = 	 {2000}
}