Wednesday, September 17, 2008

Liveness and safety

Safety: Nothing bad happens.
Liveness: Something good eventually happens.

Example: Tell the truth!
Having to say something is liveness.
Not lying is safety.

No comments: