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