New answers tagged

0

You can use logical equivalences to show this is a valid LTL formula over models with the proposition $p \in \mathrm{Prop}$. $$\begin{aligned} &\mathsf{G}\mathsf{F} p \vee \mathsf{G}\mathsf{F}\neg{}p\\ &= \langle \mathsf{GF}\varphi \vee \mathsf{GF}\psi \equiv \mathsf{G}(\mathsf{F}\varphi \vee \mathsf{F}\psi) \rangle\\ &\mathsf{G}(\mathsf{F} ...


Top 50 recent answers are included