Illegal vs Unwanted States
Summary
The article distinguishes illegal vs unwanted states in software systems, arguing that unwanted states are not necessarily illegal but require detection and remediation. It uses examples like calendar scheduling conflicts, overbooking, and network partitions to illustrate when to prevent, tolerate, or recover from unwanted states, and discusses formal models around safety and liveness.