cloud10by5-104.ltl.reduced 114 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(!(SwContainer) || ((Bounder1) <-> (WebAppRuntime))) && ((SwContainer) || ([](ScUnavailable) <-> <>!(ScWorking)))