User: Guest  Login
Original title:
On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems 
Translated title:
Über die Mechanisierung der Validierung von reaktiven und mobilen Systemen mit unendlichen und parametrisierten Zustandsräumen 
Year:
2001 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.); Sangiorgi, Davide (Prof.) 
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Brauer, Wilfried (Prof. Dr. Dr. h.c.); Sangiorgi, Davide (Prof.) 
Format:
Text 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
verification; theorem-proving; infinite systems; parameterized systems; mobility 
Translated keywords:
Verifikation; Theorembeweisen; unendliche Systeme; parametrisierte Systeme; Mobilität 
Controlled terms:
Unendliches System; Telekommunikation; Verifikation; Formale Methode; Software; Korrektheit 
TUM classification:
DAT 325d; DAT 245d; DAT 243d; DAT 600d 
Abstract:
The growing influence of telecommunication-systems in all areas has brought with it the need for elaborate and reliable software running on concurrent and, in particular, dynamically changing systems. With the development of such systems becoming ever more complex, the outline and development of mechanized and mechanizable verification-techniques is indispensable. This overall goal can be divided into three tasks: (1) outline of a framework in which (2) complex systems can be analysed, and the (...    »
 
Translated abstract:
Mit dem zunehmenden Einfluß von Telekommunikationssystemen in allen Bereichen steigt auch der Bedarf an zuverlässiger Software für verteilte und insbesondere dynamisch veränderliche Systeme. Da die Entwicklung derartiger Systeme immer komplexer wird, ist die Konzipierung und Bereitstellung mechanisierter und mechanisierbarer Verifikationstechniken unabdingbar. Dieses globale Ziel läßt sich in drei Aufgaben zerlegen: (1) die Konzipierung einer Umgebung, in der (2) komplexe Systeme analysiert werd...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
12.02.2001 
File size:
1100789 bytes 
Pages:
132 
Last change:
11.03.2010