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