模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
【译文】 孔子说：“富和贵，人人向往，不以正当的方法得到的，不要享受；贫和贱，人人厌恶，不以正当方法摆脱的，不要逃避。君子扔掉了仁爱之心，怎么算君子？君子时刻不会违反仁道，紧急时如此，颠沛时如此。”
The path to economic justice begins with recognizing the full humanity of every individual.
最高的真理不需要称扬，最善辩的不需要言说，最仁爱的不需要显摆，最廉洁的不需要谦让，最勇敢的不会造成伤害。
成功是一段旅程，而不是目的地。不断学习，不断成长。
你必须能够在犯错时承认并继续前进。