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
Vorkommen:
- mediaTUM GesamtbestandHochschulbibliographie2024Schools und FakultätenTUM School of Computation, Information and TechnologyInformatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and TechnologyComputer Science