The challenge in model checking is not just to find errors, but to understand why they occur.
沒有刻苦鉆研的精神，就不能明辨事情的道理；沒有專心致志的工作，就不會取得顯赫的成績。
我們可以斷言，沒有激情，任何偉大的事業(yè)都不能完成。
I don't play for the records. I play because I love the game.
I'm not a diva. I'm just very passionate about what I do.
成功投資的關(guān)鍵是清楚地理解市場、涉及的風(fēng)險(xiǎn)、紀(jì)律性的方法、長期視角、對基本面的深刻理解以及對風(fēng)險(xiǎn)和回報(bào)的清晰理解。
The soul should always stand ajar, ready to welcome the ecstatic experience.
競爭戰(zhàn)略就是要與眾不同。它意味著刻意選擇不同的活動來提供獨(dú)特的價(jià)值組合。