科学是提出正确问题并通过证据和理性找到答案的艺术。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

我梦到了我的儿子会成长为一个好人，一个拥有自由意志的人；我梦到了有一天，你会回到我们童年玩耍的这片土地，故地重游；我梦到了鲜花再次在街道上盛开……天空满是色彩斑斓的风筝!

如果不能满足真正农民的需求，最先进的技术也毫无价值。

现实不仅比我们假设的更奇怪，而且比我们能假设的更奇怪。

不管前方的路有多苦，只要走的方向正确，不管多么崎岖不平，都比站在原地更接近幸福。