Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array 
Bounds für C Programme

Jung, Georg

Lokale TagsFreigabegeschichteDetailsÜbersicht

Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme

Jung, G. (2001). Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-311B-0 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD15-A

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

JungDipl.ps (beliebiger Volltext), 849KB

Datei-Permalink:
-

Name:
JungDipl.ps

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Privat

MIME-Typ / Prüfsumme:
application/postscript

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Jung, Georg¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): deu - German

Datum: Geändert: 2010-03-12Angenommen: 2001-04-20Erschienen: 2001

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519838
Anderer: Local-ID: C1256104005ECAFC-BB14CC5B9E17DA83C1256B1A003E5478-JungDiplom2000

Art des Abschluß: Master

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle