模型检查是验证有限状态并发系统正确性的强大技术。
Safety isn't a priority—it's a value. You can't prioritize something that should never be compromised.
我不是一个喜欢平凡的人。
译文：一句话不对就容易把天惹塌，话没有经过多次思考就不要说出口。赏析：在说出每一句话前，我们都要深思熟虑后才能出口，否则就会中伤别人。
荀子所说的“伪”，是“人为”的意思。天生就有的是“性”，是人力无法改变的；通过后天的学习、努力可以改变的，就是“伪”。所以荀子主张“化性起伪”，通过自己能掌控的力量来改变已成定数的东西。
教育不是为生活做准备；教育本身就是生活。