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