= Safety and liveness properties
{wiki=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.
Back to article page