User: Guest  Login
Original title:
Computational Complexity of Verifying Parameterized Systems
Translated title:
Komplexität der Verifikation parametrisierter Systeme
Author:
Ayikudi Ramachandrakumar, Balasubramanian
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Institution:
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Bouajjani, Ahmed (Prof.); Abdulla, Parosh Aziz (Prof.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
TUM classification:
DAT 500
Abstract:
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.
Translated abstract:
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
Date of submission:
10.07.2023
Oral examination:
17.04.2024
File size:
5156826 bytes
Pages:
208
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240417-1714488-1-4
Last change:
27.05.2024
 BibTeX