A Tutorial on Stream-based Monitoring

Jan Baumeister, Bernd Finkbeiner, Florian Kohn +1

Stream-based runtime monitoring frameworks are safety assurance tools that check the runtime behavior of a system against a formal specification. This tutorial provides a hands-on…