The great and chief end, therefore, of men's uniting into commonwealths, and putting themselves under government, is the preservation of their property.
I don't want to be a memory; I want to be a moment.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."