Sébastien Salva

Autofunk, a fast and scalable framework for building formal models from production systems

2015

This paper proposes a model inference framework for production systems distributed over multiple devices exchanging thousands of events. Building models for such systems and keeping them up to date is time consuming and expensive, thus …