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