Runtime Verification 2026

Short Paper

Extending RTLola with External Data Queries

F. Scheerer, B. Finkbeiner, S. Schirmer, J. Hirschler

on  Tue, 12:00 ! Livein  Rose Innovation Hubfor  20min

 Overview  Program

Sponsored by:

Formal Methods Europe