模型检查是验证硬件和软件系统正确性的强大工具。

麦克斯韦方程式不足以设计电动机不是计算机的错。

鹰从未像他屈服于向乌鸦学习时那样失去如此多的时间。

Every challenge is an opportunity in disguise.

Everyone seems to have a clear idea of how other people should lead their lives, but none about his or her own.

唯一真正的爱是对美的爱。

"A book is a mirror: if an ape looks into it, an apostle is unlikely to look out."

我们都只是一群试图做出伟大事情的人。