Model learning

Model learning, a. k. a. active automata learning, is emerging as a effective technique for obtaining state machine models of software components. In this tutorial, I will give a brief introduction to the area, highlight how model learning helped to find standard violations in implementations of the TCP, TLS and SSH protocols, and discuss recent work on the use of SMT solvers for model learning and algorithms for model learning of timed systems.

Authors

• Frits Vaandrager

Keywords

No keywords are indexed for this paper.