cloud10by5-106.ltl 147 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(((OsContainer==1) <-> ((WSRuntime2==1) || !(WebAppRuntime==1))) -> ((ScStopped==1) && (Wsr2Deployed==1))) && []((WsRuntime3==1) -> (Bounder2==1))