Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Schweitzer, Dirk Stephan (2007)
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

URL / URN: urn:nbn:de:tuda-tuprints-8311

Kurzbeschreibung (Abstract)

Die vorliegende Arbeit beschreibt den im Rahmen des VeriFun-Systems entwickelten symbolischen Auswertungskalkül. Hierbei handelt es sich um einen Kalkül für Gleichheitsbeweise, welche typischerweise bei der Verifikation funktionaler Programme auftreten. Der Auswertungskalkül ist die vollautomatische Beweiskomponente des VeriFun-Systems und somit zu einem wesentlichen Teil für die Beweisautomatisierung verantwortlich.

Typ des Eintrags:

Dissertation

Erschienen:

2007

Autor(en):

Schweitzer, Dirk Stephan

Art des Eintrags:

Erstveröffentlichung

Titel:

Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Sprache:

Deutsch

Referenten:

Walther, Prof.Dr. Christroph ; Giesl, Prof.Dr. Jürgen

Berater:

Walther, Prof.Dr. Christroph

Publikationsjahr:

21 Juni 2007

Ort:

Darmstadt

Verlag:

Technische Universität

Datum der mündlichen Prüfung:

25 Januar 2007

URL / URN:

urn:nbn:de:tuda-tuprints-8311

Kurzbeschreibung (Abstract):

Alternatives oder übersetztes Abstract:

Alternatives Abstract

Sprache

This PhD thesis describes the symbolic evaluation calculus which has been develop in the context of the verification system VeriFun. This symbolic evaluation calculus is named a-calculus. The a-calculus is a logical calculus for solving equational problems, which typically occur during the verification of a functional program. It is the full-automatic proof-component of the VeriFun-System and thus responsible for the proof-automation of the VeriFun-System.

Englisch

Sachgruppe der Dewey Dezimalklassifikatin (DDC):

000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik

Fachbereich(e)/-gebiet(e):

20 Fachbereich Informatik

Hinterlegungsdatum:

17 Okt 2008 09:22

Letzte Änderung:

26 Aug 2018 21:25

PPN:

Referenten:

Walther, Prof.Dr. Christroph ; Giesl, Prof.Dr. Jürgen