"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我不会在打架前恐吓任何人。那是胡说八道。我通过打人来恐吓他们。
迈克·泰森
世界如此之大，同时又如此之小。
The world is so large and so small at the same time.
萨拉马戈
无人机的价值在于解决行业的痛点。
The value of drones lies in solving industry pain points.
王铭
眼睛能够显示灵魂的力量。
保罗·科埃略
铜铸金镛振纪纲，声传海外播戎羌。
曹雪芹
因为在光荣的过去与可能的未来，二者之间，横亘着一个山谷，你要跨过它，必先下降然后上升。
林语堂
帮助困难学生，是我一生的信念。
王坤森
正其谊不谋其利，明其道不计其功。
端正其义而不谋求私利，阐明其道而不计较功利。
董仲舒
An adequate bootstrap is a contradiction in terms.
适当的引导是一个矛盾。
艾伦·佩利
You have to grind when no one else is grinding so you can shine when no one else is shining.
你必须在别人不努力的时候努力，这样你才能在别人不发光的时候发光。
埃里克·托马斯
教育，就是一种思想启迪另一种思想、一个灵魂唤醒另一个灵魂的事业。
郑英
When you arrive at your room in a hotel， locate the emergency exits. It only takes a minute.
入住酒店房间时，先查看紧急出口。这只需要花一分钟时间。
凯文·凯利
If I knew where I would meet my end, I would avoid it my entire life.
如果我知道我会在哪里死去，那我一辈子都不会去那里。
查理·芒格
The best architecture is the one that disappears, that becomes part of the landscape.
最好的建筑是消失的建筑，成为景观的一部分。
阿尔瓦罗·西扎
马不停蹄的奔跑，于是马不停蹄的失望感觉，是我一次次靠近风一样的男子，一次次的铩羽而归。
杏林子
伤心是一种最堪咀嚼的滋味。如果不经过这份疼痛——度日如年般地经过。不可能玩味其他人生的欣喜。
三毛
当你出外旅游回来之后，往往会想在我离家的这段时间，家里究竟发生了什么事，有没有人来找过我，有没有什么特别的信件和消息。但结果永远是：没有。既没有任何的事情发生，也没有任何的信件。其实，你并没有你想象的那么重要。
蒲宁
铭记那些珍贵的时刻，生死与变迁，痛苦与孤独。
托马斯·艾略特
成功不是快乐的关键。快乐才是成功的关键。如果你热爱你所做的事，你就会成功。
"Success is not the key to happiness. Happiness is the key to success. If you love what you are doing, you will be successful."
罗杰·费德勒