![Mathematical logic / Logic / Theoretical computer science / Logic in computer science / Runtime verification / FO / Quantifier Mathematical logic / Logic / Theoretical computer science / Logic in computer science / Runtime verification / FO / Quantifier](https://www.pdfsearch.io/img/c16f07f42cc89d52918150df6c4d97b2.jpg) Date: 2016-07-20 13:13:50Mathematical 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 sAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 342,23 KBShare Document on Facebook
|