The challenge in model checking is not just to find errors, but to understand why they occur.
炽烈的恨意可以给空虚的生活带来意义和目的。
我们存在的意义不是我们自己发明的,而是被发现的。
最好的故事是那些在我们读完很久之后仍萦绕在心头的故事。
你不是在建立企业,而是在培养人,然后由人来建立企业。
The only way to understand history is to live it.