cloud10by5-100.ltl 130 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
!(WebAppRuntime==1) || (Wsr3Started==1) || <>((ScStopped==1) -> !((WebAppRuntime==1) <-> ((WSRuntime1==1) <-> (Wsr2Started==1))))