cloud10by5-102.ltl.reduced 103 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
(!((ContainerDown) || (OsContainer)) && <>(OsAvailable)) <-> ((SwContainer) <-> <>[](ServerContainer))