Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{JungDiplom2000, ... | Masterarbeit - German
Jung, Georg
Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes, May, 2001
Model Checking, C, Programmanalyse, Analyse, Array, statisch, Statische Analyse, Verifikation
www.mpi-sb.mpg.de/~gjung/thesis.html
Andreas Podelski
Harald Ganzinger
Andreas Podelski
Completed
20
April
2001
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{JungDiplom2000,
AUTHOR = {Jung, Georg},
TITLE = {Ein Frontend f{\"u}r die Anwendung von Model Checking auf die Analyse von Array Bounds f{\"u}r C Programme},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2001},
TYPE = {Master's thesis}
MONTH = {May},
}
AUTHOR = {Jung, Georg},
TITLE = {Ein Frontend f{\"u}r die Anwendung von Model Checking auf die Analyse von Array Bounds f{\"u}r C Programme},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2001},
TYPE = {Master's thesis}
MONTH = {May},
}
Entry last modified by Anja Becker, 07/08/2011
Edit History (please click the blue arrow to see the details) | Editor(s) Georg Jung | Created 12/06/2001 12:20:48 PM |
| Revisions 3. 2. 1. 0. | Editor(s) Anja Becker Georg Jung Georg Jung Georg Jung | Edit Dates 08.07.2011 12:54:16 06/12/2001 12:29:46 06/12/2001 12:28:17 06/12/2001 12:20:57 |