cloud10by5-101.ltl 135 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](ServerContainer==1) <-> (((Bounder2==1) && !(WSRuntime1==1)) -> ((Wsr2NotDeployed==1) <-> !((SwContainer==1) <-> [](Bounder2==1))))