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

Jung, Georg

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

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

Genre: Thesis

Files

show Files

hide Files

:

JungDipl.ps (Any fulltext), 849KB

File Permalink:
-

Name:
JungDipl.ps

Description:
-

OA-Status:

Visibility:
Private

MIME-Type / Checksum:
application/postscript

Technical Metadata:

Copyright Date:
-

Copyright Info:
-

License:
-

Locators

show

Creators

show

hide

Creators:
Jung, Georg¹, Author

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

Content

show

Details

show

hide

Language(s): deu - German

Dates: Modified: 2010-03-12Accepted: 2001-04-20Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519838
Other: Local-ID: C1256104005ECAFC-BB14CC5B9E17DA83C1256B1A003E5478-JungDiplom2000

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show