Runtime verification

Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems (NSF)

Develop runtime verification techniques that incorporate mixed-abstraction-level granularity in specifications and enable on-deadline mitigation triggering