![Temporal logic / Formal languages / Logic / Metalogic / Mathematical logic / Linear temporal logic / Mathematics / Model theory / Symbol / Computation tree logic / Interpretation / Well-formed formula Temporal logic / Formal languages / Logic / Metalogic / Mathematical logic / Linear temporal logic / Mathematics / Model theory / Symbol / Computation tree logic / Interpretation / Well-formed formula](https://www.pdfsearch.io/img/f9f8e918ca8a7a5cd6adb30efaf525be.jpg) 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
|