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

Publications Master Template :: Thesis :: Basin, David A.


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 - Habilitation thesis | | Habilitation(sschrift)


Author
Author(s)*:Basin, David A.
BibTeX citekey*:BasinHabil1995
Language:English

Title, School
Title*:Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
School:Universität des Saarlandes
Type of Thesis*:Habilitation thesis
Month:June
Year:1995


Note, Abstract, Copyright
LaTeX Abstract:Techniken auf der Grundlage binärer Entscheidungsdiagramme (BDDs) haben sich bei der Analyse endlicher Funktionen und Systeme als nützlich erwiesen, z.B. bei der Äquivalenz von Schaltkreisentwürfen. Jedoch sind diese Methoden für die Analyse unendlicher Zustandsräume nicht geeignet. Ich stelle MONA vor, ein logikbasiertes Werkzeug, das als Erweiterung dieser BDD-Methoden für parametrisierte Entwürfe in unendlichen Zustandsräumen betrachtet werden kann. Zum Beispiel kann MONA benutzt werden, um automatish die Korrektheit einer (in der Zahl der Eingabebits) parametrisierten arithmetisch-logischen Einheit (ALU) zu beweisen. Darüberhinaus zeige ich, wie man diskrete Zeit als Parameter betrachten und MONA dazu benutzen kann, bei zeitabhängigen Spezifikationen und Protokollen Schlüsse zu ziehen und Fehler zu entdecken.

Referees, Status, Dates
Status:Completed
First Lecture Title:Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Location of Lecture:Geb. 44 HS 117
Date Kolloquium:9 June 1995

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:

@PHDTHESIS{BasinHabil1995,
AUTHOR = {Basin, David A.},
TITLE = {Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1995},
TYPE = {Habilitation thesis}
MONTH = {June},
}



Entry last modified by Uwe Brahm, 03/12/2010
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)
Christine Kiesel
Created
04/04/2001 04:40:56 PM
Revisions
12.
11.
10.
9.
8.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
08/27/2001 04:00:32 PM
08/27/2001 03:57:08 PM
27.08.2001 12:15:07
27.08.2001 12:14:55
27.08.2001 12:14:39