Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL

Chirantan Hebballi, Akash Poptani, Amrutha Benny +3

A Runtime Verification (RV) framework that supports online, at-speed verification of properties that can change dynamically (during in-field operations) will benefit a large variet…