一个人就像一个分数,分子是他实际的样子,分母是他对自己的看法。分母越大,分数越小。
The past is a source of knowledge, and the future is a source of hope. Love of the past implies faith in the future.
You can live to be a hundred if you give up all the things that make you want to live to be a hundred.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Don’t worry how or where you begin. As long as you keep moving, your success will be far from where you start.