cloud10by5-1.ltl.reduced 124 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
((Wsr3NotDeployed) && ((Wsr2NotDeployed) <-> <>(ScWorking))) <-> []((ScUnavailable) || (WebAppRuntime) || []<>(WsRuntime3))