Scalable Tree-based Register Automata Learning

Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite state machine models, such as Mealy machines. For many analysis...

Celý popis

Podrobná bibliografia

Vydané v:	Tools and Algorithms for the Construction and Analysis of Systems Ročník 14571; s. 87
Hlavní autori:	Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Médium:	Kapitola Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Switzerland Springer International Publishing AG 2024
Edícia:	Lecture Notes in Computer Science
Predmet:	Active automata learning Register automata
ISBN:	9783031572487, 3031572483, 3031572491, 9783031572494
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!