Benutzer: Gast  Login
Originaltitel:
On the Mechanized Validation of Infinite-State and Parameterized Reactive and Mobile Systems 
Übersetzter Titel:
Über die Mechanisierung der Validierung von reaktiven und mobilen Systemen mit unendlichen und parametrisierten Zustandsräumen 
Jahr:
2001 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.); Sangiorgi, Davide (Prof.) 
Gutachter:
Esparza Estaun, Francisco Javier (Prof. Dr.); Brauer, Wilfried (Prof. Dr. Dr. h.c.); Sangiorgi, Davide (Prof.) 
Format:
Text 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
verification; theorem-proving; infinite systems; parameterized systems; mobility 
Übersetzte Stichworte:
Verifikation; Theorembeweisen; unendliche Systeme; parametrisierte Systeme; Mobilität 
Schlagworte (SWD):
Unendliches System; Telekommunikation; Verifikation; Formale Methode; Software; Korrektheit 
TU-Systematik:
DAT 325d; DAT 245d; DAT 243d; DAT 600d 
Kurzfassung:
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 (...    »
 
Übersetzte Kurzfassung:
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...    »
 
Veröffentlichung:
Universitätsbibliothek der TU München 
Mündliche Prüfung:
12.02.2001 
Dateigröße:
1100789 bytes 
Seiten:
132 
Letzte Änderung:
11.03.2010