Data Automata

Runtime Verification is the discipline of computer science dedicated to the analysis of system executions, including checking them against formalized specifications. Runtime verification Start with a system to monitor. system Runtime verification Instrument the system to record relevant events. system instrumenta,on Runtime verification Provide a monitor. system instrumenta,on monitor Runtime verification Dispatch each received event to the monitor. system instrumenta,on monitor observe Runtime verification Compute a verdict for the trace received so far. system instrumenta,on monitor observe verdict Runtime verification Possibly generate feedback to the system. system instrumenta,on monitor observe verdict feedback Runtime verification We might possibly have synthesized monitor from a property. system instrumenta,on monitor observe verdict feedback propert