Safety and liveness properties

In the context of computer science, particularly in distributed systems, concurrency, and formal methods, **safety** and **liveness** are two fundamental properties used to describe the correctness and behavior of a system. They are often used in the analysis and design of protocols, algorithms, and systems. ### Safety Properties **Safety** properties assert that "something bad never happens." In other words, safety guarantees that certain undesirable states or conditions will not occur during the execution of a system.