"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
模型检查是验证有限状态并发系统正确性的强大技术。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你要看一个国家的文明，只消考察三件事：第一看他们怎样待小孩子；第二看他们怎样待女人；第三看他们怎样利用闲暇的时间。
胡适
The true measure of success is not just profit, but the positive impact we leave behind.
成功的真正标准不仅仅是利润，还有我们留下的积极影响。
安德鲁·麦肯齐
请把你的心给我，与我为伍，这个世界太残酷了，我有些害怕。
王尔德
构建属于自己的知识体系和思维框架，是塑造投资能力的起点，而这与我的儿时际遇不无关系。
张磊
风险管理不是简单的规避风险，而是通过科学的方法将风险控制在可承受的范围内。
孙立坚
大雨可以延迟我们到达的时间，但不能阻止我们前进。
卢梭
谁毁了梅兰芳的孤单，谁就毁了梅兰芳。
梅兰芳
爱是永恒的宽恕行为，是化作习惯的温柔凝视。
El amor es un acto de perpetuo perdón, una mirada tierna que se convierte en un hábito.
何塞·埃切加赖
你们的痛苦乃是包着你们悟性的外壳的破裂。然而正如果核必定破裂暴露在阳光下，你们也必定经历痛苦。每天，你们的心灵惊叹于生命的奇迹，你们的痛苦仿佛你们的快乐一样奇妙；你们将习惯心灵季节的变化，就像习惯接受来去于田野的季节变化。于是，你们能够以宁静的心情看待你们悲凉的冬季。
纪伯伦
The mind's primary task is to organize experience for action.
心灵的主要任务是为行动组织经验。
马克斯·维斯塔潘
如果一个年轻人今天和你说他要做什么，三年后依然说他要做这个，而且坚持在做，那你一定要给这个年轻人机会。
马云
数据是冰冷的，但服务应该是有温度的。
Data is cold, but services should be warm.
宿华
The key to success is to surround yourself with talented people and give them the freedom to create.
成功的关键是让自己身边充满有才华的人，并给予他们创造的自由。
伊恩·利文斯通
要说真话，不讲假话。假话全不讲，真话不全讲。
季羡林
有些人认为日常生活只是暂时的，巴不得它赶快过去，他们渴望不凡。然而我们如何遇见不凡，如何体验不凡呢？就算是再不凡的事物，我们也需要在当下迎接它的发生，并于当下乐在其中——一如我们平常的生活。
伯特·海灵格
人的自由权包括：言论自由、信仰自由、免于贫困及免于恐惧的自由。
罗斯福
如果今天的你还没有任何目标，那么明天的清晨，你用什么理由把自己叫醒呢？
荷马
贫不学俭，卑不学恭。
译文：贫穷的人不用学俭朴，自会俭朴，卑贱的人不用学谦恭，自会谦恭。
司马光
诚信是所有成功商业关系的基础。
"Integrity is the foundation of all successful business relationships."
唐纳德·布伦