Back to Results
First PageMeta Content
Temporal 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 ex
Add to Reading List

Document Date: 2016-07-20 12:50:18


Open Document

File Size: 330,46 KB

Share Result on Facebook
UPDATE