模型检查是验证有限状态并发系统正确性的强大技术。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
你内心肯定有着某种火焰，能把你和其他人区别开来。
库切
做游戏要回归本质，好玩才是硬道理。
丁磊
We don't inherit the earth from our ancestors; we borrow it from our children—this is especially true in forestry.
我们不是从祖先那里继承地球；我们是从子孙那里借来的——这在林业中尤其如此。
罗伯特·布朗
写作即抵抗。
To write is to resist.
克里斯塔·沃尔夫
当爱挥手召唤你们时，跟随着他，尽管他的道路艰难而险峻。当他展翼拥抱你们时，依顺着他，尽管他羽翼中的利刃会伤害你们，当他对你们说话时，要相信他，尽管他的声音会击碎你的梦，像狂风尽扫园中的花。
纪伯伦
雌雄同体性的人往往是人中之凤。
贾平凹
数学的美在于它的普遍性。
The beauty of mathematics is that it is universal.
让-皮埃尔·塞尔
——米兰·昆德拉
米兰·昆德拉
世界是什么？如果世界被我们认识穷尽，我们一向所说的世界到底是什么呢？我想，这世界，就重叠在我们的心灵上，虽然我们不能穷尽它，但是它就在那儿，以文学的名义无止无休地**着我们，召唤着我们。
史铁生
优秀的创业者性格坚韧、冷静。那些成功公司的创始人都有种坚韧不拔，处事冷静的品格。每一次运作遭遇困难濒临倒闭，有时甚至一天之内发生数次这种情形，优秀的创业者应对这种情况就像是掏出一杆枪射击坏人一样，从来不会失去优秀的创业者的理智。
萨姆·奥尔特曼
渔业的创新必须平衡生态和经济。
Innovation in fisheries must balance ecology and economy.
丽莎·陈
伟人之所以伟大，是因为你跪着看他。
李银河
I try to never get too high or too low. I stay in the middle.
诺瓦克·德约科维奇
Moderation is a fatal thing. Nothing succeeds like excess.
王尔德
醉别西楼醒不记，春梦秋云，聚散真容易。斜月半窗还少睡，画屏闲展吴山翠。衣上酒痕诗里字，点点行行，总是凄凉意。红烛自怜无好计，夜寒空替人垂泪。
晏几道
我梦寐以求，是真爱和自由。真爱没找到之前，我自由的很嗨。
鲁迅
与世无争是理性的范畴，是心灵的真正胜利。
拿破仑
人类天生的是爱管闲事。为什么我们不向彼此的私生活里偷偷的看一眼呢，既然被看者没有多大损失而看的人显然得到了片刻的愉悦？凡事牵涉到快乐的授受上，就犯不着斤斤计较了。较量些什么呢？——长的是磨难，短的是人生。
张爱玲
希望可以更加放松地去享受比赛。
丁俊晖