"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
我梦到了我的儿子会成长为一个好人,一个拥有自由意志的人;我梦到了有一天,你会回到我们童年玩耍的这片土地,故地重游;我梦到了鲜花再次在街道上盛开……天空满是色彩斑斓的风筝!
如果不能满足真正农民的需求,最先进的技术也毫无价值。
现实不仅比我们假设的更奇怪,而且比我们能假设的更奇怪。
不管前方的路有多苦,只要走的方向正确,不管多么崎岖不平,都比站在原地更接近幸福。