Learning Nominal Automata
Date
Wednesday, May 10, 2017 17:00 - 18:00
Speaker
Matteo Sammartino (University College London)
Location
Mondi Seminar Room 3, Central Building
Series
Seminar/Talk
Tags
RiSE Seminar
Host
Tom Henzinger
Contact
Automata learning, or regular inference, is a widely used technique for creating an automaton model from observations. In recent years, it has been successfully applied to the verification of security protocols, hardware, and software systems. The original algorithm L* works for deterministic finite automata, and is only capable of learning control-flow models. In this talk I will present an extension of L* to learn combined control/data-flow models in the form of nominal automata, which are acceptors of languages over infinite (structured) alphabets. After recalling L*, I will briefly present the theory of nominal sets. Then I will show how this theory enables extending L* to infinite alphabets in a seamless way, with almost no modifications to the original code. Finally, I will give a short demo of a tool based on this work, currently being developed at UCL.