The safety-liveness dichotomy is a fundamental concept in formal languages which plays a
key role in verification. Recently, this dichotomy has been lifted to quantitative properties …

Safety and liveness are elementary concepts of computation, and the foundation of many
verification paradigms. The safety-liveness classification of boolean properties characterizes …

Abstract System behaviors are traditionally evaluated through binary classifications of
correctness, which do not suffice for properties involving quantitative aspects of systems and …

In distributed systems with processes that do not share a global clock, partial synchrony is
achieved by clock synchronization that guarantees bounded clock skew among all …