Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Jung, Georg


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit


Author
Author(s)*:Jung, Georg
BibTeX citekey*:JungDiplom2000
Language:German

Title, School
Title*:Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Month:May
Year:2001


Note, Abstract, Copyright
Keywords:Model Checking, C, Programmanalyse, Analyse, Array, statisch, Statische Analyse, Verifikation
HyperLinks / References / URLs:www.mpi-sb.mpg.de/~gjung/thesis.html

Referees, Status, Dates
1. Referee:Andreas Podelski
2. Referee:Harald Ganzinger
Supervisor:Andreas Podelski
Status:Completed
Date Kolloquium:20 April 2001

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:Expert
Appearance: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},
}



Entry last modified by Anja Becker, 07/08/2011
Hide details for Edit History (please click the blue arrow to see the details)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