Home | deutsch  | Legals | Sitemap | KIT

Software Verification for Java 5

Software Verification for Java 5
Research topic:Formal Software Verification
Type:Diplomarbeit
Date:2007
Supervisor:

Prof. P.H. Schmitt
Richard Bubel
Steffen Schlager

Author:

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

This thesis has been awarded the Förderpreis des ObjektForums 2007:

The members of the ObjektForum Karlsruhe, andrena objects ag and Technologiepark Karlsruhe, intend to honour, promote and present to the public diploma theses that have oustandingly addressed a topic in the field of software technology. (translated from German)

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}
}