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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Tools and Algorithms for the Construction and Analysis of Systems Jg. 14571; S. 87
Hauptverfasser:	Dierl, Simon, Fiterau-Brostean, Paul, Howar, Falk, Jonsson, Bengt, Sagonas, Konstantinos, Tåquist, Fredrik
Format:	Buchkapitel Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Switzerland Springer International Publishing AG 2024
Schriftenreihe:	Lecture Notes in Computer Science
Schlagworte:	Active automata learning Register automata
ISBN:	9783031572487, 3031572483, 3031572491, 9783031572494
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!