Standard Grammars for LTL and LDL (v0.1.0)

12/25/2020
by   Marco Favorito, et al.
0

The heterogeneity of tools that support temporal logic formulae poses several challenges in terms of interoperability. This document proposes standard grammars for Linear Temporal Logic (LTL) (Pnueli 1977) and Linear Dynamic Logic (Vardi 2011; De Giacomo and Vardi 2013).

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset