Back to Results
First PageMeta Content
Mathematical logic / Logic / Theoretical computer science / Logic in computer science / Runtime verification / FO / Quantifier


M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s
Add to Reading List

Document Date: 2016-07-20 13:13:50


Open Document

File Size: 342,23 KB

Share Result on Facebook