Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors
Abstract
We introduce monitoring semantics, a non-standard model
Related papers
- Deductive verification with ghost monitors POPL 2020
- Mop: an efficient and generic runtime verification framework OOPSLA 2007
- Semantics Directed Program Execution Monitoring JFP 1995
- Program specialization for execution monitoring JFP 2003
- Monitoring refinement via symbolic reasoning PLDI 2015
- Efficient Decrease-and-Conquer Linearizability Monitoring OOPSLA 2025
- Montre: A Tool for Monitoring Timed Regular Expressions CAV 2017
- Automated Translation of Natural Language Requirements to Runtime Monitors TACAS 2022