郦波在讲座中引用马克·吐温的话并加以阐释
The challenge in model checking is not just to find errors, but to understand why they occur.
【释义】:和品德好的人相处,就像进入放满香草的屋子,久了也会染上香气;与恶人交往,如同走进卖臭鱼的店铺,久了也会变臭。
We are not artists. We are architects.