Benutzer: Gast  Login
Originaltitel:
Computational Complexity of Verifying Parameterized Systems
Übersetzter Titel:
Komplexität der Verifikation parametrisierter Systeme
Autor:
Ayikudi Ramachandrakumar, Balasubramanian
Jahr:
2024
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Gutachter:
Esparza Estaun, Francisco Javier (Prof. Dr.); Bouajjani, Ahmed (Prof.); Abdulla, Parosh Aziz (Prof.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
TU-Systematik:
DAT 500
Kurzfassung:
Parameterized systems are distributed systems with an arbitrary number of participating agents. Verifying such systems amounts to proving that some property holds for any population of agents. We consider two approaches to verifying parameterized systems, namely the theory of well-quasi-orders and decision procedures for linear arithmetic theories. Based on these two approaches, we provide computational complexity results for a variety of verification problems regarding parameterized systems.
Übersetzte Kurzfassung:
Parametrisierte Systeme sind verteilte Systeme mit einer beliebigen Anzahl von teilnehmenden Agenten. Wir untersuchen, ob eine gegebene Eigenschaft für jede beliebige Population von Agenten gilt. Wir betrachten zwei Ansätze, nämlich die Theorie der Wohl-Quasi-Ordnungen und Entscheidungsprozeduren für lineare arithmetische Theorien. Auf der Basis dieser beiden Ansätze präsentieren wir Ergebnisse zur Komplexität einer Reihe von Eigenschaften von verschiedenen Klassen von parametrisierten Systemen...     »
WWW:
https://mediatum.ub.tum.de/?id=1714488
Eingereicht am:
10.07.2023
Mündliche Prüfung:
17.04.2024
Dateigröße:
5156826 bytes
Seiten:
208
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240417-1714488-1-4
Letzte Änderung:
27.05.2024
 BibTeX