Demonstrating Learning of Register Automata

Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, Bengt Jonsson: Demonstrating Learning of Register Automata. In: TACAS 2012, LNCS 7214, pp. 466-471. Springer, 2012

Abstract

We will demonstrate the impact of the integration of our most recently developed learning technology for inferring Register Automata into the LearnLib, our framework for active automata learning. This will not only illustrate the unique power of Register Automata, which allows one to faithfully model data independent systems, but also the ease of enhancing the LearnLib with new functionality.

Comments

There are no comments yet. Be the first one to leave a comment!

Got something to say?

Your email address will not be published.

(required)
(required)