First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 342,23 KBShare Document on Facebook |