Date: 2016-07-20 12:50:18Temporal logic Formal languages Logic Metalogic Mathematical logic Linear temporal logic Mathematics Model theory Symbol Computation tree logic Interpretation Well-formed formula | | From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of exAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 330,46 KBShare Document on Facebook
|