Home | english  | Impressum | Sitemap | KIT

Software Verification for Java 5

Software Verification for Java 5
Forschungsthema:Formale Softwareverifikation
Typ:Diplomarbeit
Datum:2007
Betreuer:

Prof. P.H. Schmitt
Richard Bubel
Steffen Schlager

Bearbeiter:

Mattias Ulbrich

Links:Document (PDF)
Presentation (PDF)
Kurzpräsentation (PDF/Deutsch)

The Java programming language has been extended by several new concepts and constructs in release 5. In this thesis, I have brought together with KeY four of these features, examining their implications on the verification tool. The thesis comprises the analysis of enumerated types, enhanced for loops, autoboxing, and generics.

ObjektForum Förderpreis 2007

Diese Arbeit wurde mit dem Förderpreis des ObjektForums 2007 ausgezeichnet. Über diesen heißt es:

Die Träger des ObjektForums Karlsruhe, die andrena objects ag und der Technologiepark Karlsruhe, möchten Diplomarbeiten auszeichnen, fördern und in der Öffentlichkeit herausstellen, die sich in hervorragender Weise mit der Thematik der Software-Technik befasst haben.

Bibtex

@misc{Ulbrich07,
author = {Mattias Ulbrich},
title = {Software Verification for {Java 5}},
howpublished = {Diplomarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
year = {2007}
}