模型检查是验证有限状态并发系统正确性的强大技术。

人民的困难，就是我的困难，帮助人民克服困难贡献自己的一点力量，是我应尽的责任。我是主人，是广大劳苦大众当中的一员，我能帮助人民克服一点困难，是最幸福的。

雷锋

你要懂得：在没有你之前，你的父母并不像现在这样“乏味”。你应该想到，这是他们为了抚养你所付出的巨大代价。

我非常恣意的赢了，回应了那些挑战。得分王之类的头衔……它们听起来好像，嗯，我不在乎它们听起来怎样 — 对我来说，得分并不难。赢得得分王的头衔对我来说并不算是个挑战，因为我知道我可以。

I’m extremely willful to win, and I respond to challenges. Scoring titles and stuff like that… it sounds, well, I don’t care how it sounds – to me, scoring comes easy. It’s not a challenge to me to win the scoring title, because I know I can.

科比·布莱恩特

向他人求助对我来说是最难的事。尽我所能帮助别人很容易，勉为其难帮助别人也是可以的，但是请求别人帮助我这件事对我来说几乎是不可能的。因为不管自己多辛苦，我都不愿跟别人发牢骚，也不想给别人添麻烦。

崔恩荣

谁若用真心对我，我便拿命去珍惜，这句话永远不会过期。

孟非

随着公司的发展，一切都需要扩展，包括失败实验的规模。如果失败的规模没有扩大，你的发明就不会真正推动潮流进步。我们偶尔遭遇数十亿美元的失败，因为我们的实验规模将与亚马逊的企业规模相匹配。

杰夫·贝索斯

人格成熟的重要标志是宽容、忍让和善。

卡耐基

I think we have been through a period where too many people have been given to understand that if they have a problem, it's the government's job to cope with it. 'I have a problem, I'll get a grant.' 'I'm homeless, the government must house me.' They're casting their problem on society. And, you know, there is no such thing as society. There are individual men and women, and there are families. And no government can do anything except through people, and people must look to themselves first. It's our duty to look after ourselves and then, also to look after our neighbour. People have got the entitlements too much in mind, without the obligations.

我认为我们已经经历了一个时期，太多的人被引导去理解，如果他们有问题，这是政府的工作来应对它。“我有一个问题，我会获得补助。”“我无家可归，政府必须给我住房。”他们把问题抛给社会。而且，你知道，没有社会这种东西。只有个人男性和女性以及家庭。除了通过人民，政府什么也做不了，而人民必须首先照顾自己。照顾自己是我们的责任，然后，也要照顾我们的邻居。人们太过于考虑权利，而忽视了义务。

撒切尔

一个精明的人要想不受欺骗，有时只须表现粗鲁一些就可以。

弗朗索瓦·德·拉罗什富科

欧几里得几何学的5条公设：

李善友

在必然有身份差别的国家里，就必然有特权的存在。

孟德斯鸠

不想当厨子的裁缝不是好司机。

郭德纲

当你爱一个人，他会让你知道你是谁。当你恨一个人，他也会让你知道你是谁。所以，请选择爱。

伊能静

The most advanced agricultural systems still depend on the most fundamental element: healthy soil.