模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
伟大的音乐得以幸存不是因为保存它的机构，而是因为每一代人都重新发现它。
有时候生活会给你当头一棒。不要失去信心。
出自晋·葛洪《抱朴子·应嘲》。虽说昆山的玉石很多，但不能救济原宪的贫穷。喻指毫无价值的空话。
聪明的人遇上事，话到口边会留半句；大彻大悟的人遇上事，甚至一句话都不说。
In the end, we are all just stories.
Leadership is the art of getting someone else to do something you want done because he wants to do it.
Effective leaders know how to listen to others' opinions and learn from them.
当你倾听不同的观点时，才能做出最佳决策。