Benutzer: Gast  Login
Originaltitel:
Inductive Statements for Regular Transition Systems
Übersetzter Titel:
Induktive Aussagen für reguläre Transitionssysteme
Autor:
Welzel-Mohr, Christoph
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.); Widjaja Lin, Anthony (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
parameterized verification; regular model checking; regular transition systems
Übersetzte Stichworte:
parametrisierte Verifikation; reguläre Verifikation; reguläre Transitionssysteme
TU-Systematik:
DAT 500
Kurzfassung:
On the basis of finite automata, we develop a formalism to analyze regular transition systems with inductive statements. Moreover, we employ automata learning to mine for a sufficient set of inductive statements.
Übersetzte Kurzfassung:
Auf der Basis von endlichen Automaten werden reguläre Transitionssysteme mit Hilfe induktiver logischer Aussagen analysiert. Mit Hilfe von Lernalgorithmen für Automaten wird dieser Ansatz verbessert.
WWW:
https://mediatum.ub.tum.de/?id=1721365
Eingereicht am:
26.09.2023
Mündliche Prüfung:
18.03.2024
Dateigröße:
1190930 bytes
Seiten:
203
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240318-1721365-1-0
Letzte Änderung:
22.05.2024
 BibTeX