cloud10by5-10.ltl 132 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(OsAvailable==1) <-> (!(WSRuntime2==1) || ([](WebAppRuntime==1) -> !((WsRuntime3==1) && []((Bounder2==1) <-> (ContainerDown==1)))))