Safety: Nothing bad happens.
Liveness: Something good eventually happens.
Example: Tell the truth!
Having to say something is liveness.
Not lying is safety.
Wednesday, September 17, 2008
Liveness and safety
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment