Safety vs Liveness

• A process is safe if it doesn’t do anything wrong
• A process is live if it does something (wrong or not)

A dead computer is safe but not live. Safety came before liveness, but they’re both very important.