Verification of Automata with Storage Mechanisms
Köcher, Chris
Produktnummer:
187b5437596d814781906c6bd1e4665886
| Autor: | Köcher, Chris |
|---|---|
| Themengebiete: | Algorithmus Automat <Automatentheorie> Erreichbarkeit Monoid |
| Veröffentlichungsdatum: | 08.12.2022 |
| EAN: | 9783863602659 |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 248 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | TU Ilmenau Universitätsbibliothek |
Produktinformationen "Verification of Automata with Storage Mechanisms"
An important question in computer science is to ask, whether a given system conforms to a specification. Often this question is equivalent to ask whether a finite automaton with certain memory like a stack or queue can reach some given state. In this thesis we focus this reachability problem of automata having one or more lossy or reliable stacks or queues as their memory. Unfortunately, the reachability problem is undecidable or of high complexity in most of these cases. We circumvent this by several approximation methods. So we extend the exploration algorithm by Boigelot and Godefroid under-approximating the reachability problem of queue automata. We also study some automata having multiple stacks with a restricted behavior. These “asynchronous pushdown systems” have an efficiently decidable reachability problem. To show our results we first have to gain knowledge of several algebraic properties of the so-called transformation monoid of the studied storage mechanisms.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen