The challenge in model checking is not just to find errors, but to understand why they occur.
最好的文学是挑战我们、让我们思考、迫使我们面对存在的不舒服真相的文学。
The key to success in trading is discipline and risk management.
The best leaders are those who listen more than they speak.
心是脆弱的东西,容易破碎,但也有巨大的力量。
解释:君子使自己懂得那些重大而长远的事情,小人却只注意细小的、眼前的事情。