Abstract:  Runtime verification promises to make software more reliable by monitoring program executions against formal specifications of safety properties. This talk will present results from work that my group did…