Login
- Original title:
- Inductive Statements for Regular Transition Systems
- Translated title:
- Induktive Aussagen für reguläre Transitionssysteme
- Author:
- Welzel-Mohr, Christoph
- 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.); Widjaja Lin, Anthony (Prof. Dr.)
- Language:
- en
- Subject group:
- DAT Datenverarbeitung, Informatik
- Keywords:
- parameterized verification; regular model checking; regular transition systems
- Translated keywords:
- parametrisierte Verifikation; reguläre Verifikation; reguläre Transitionssysteme
- TUM classification:
- DAT 500
- Abstract:
- 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.
- Translated abstract:
- 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
- Date of submission:
- 26.09.2023
- Oral examination:
- 18.03.2024
- File size:
- 1190930 bytes
- Pages:
- 203
- Urn (citeable URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20240318-1721365-1-0
- Last change:
- 22.05.2024
BibTeX
Occurrences:
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and TechnologyComputer Science
- mediaTUM GesamtbestandEinrichtungenSchools TUM School of Computation, Information and TechnologyPrüfungsarbeitenDissertationen