模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

A man can no more diminish God's glory by refusing to worship Him than a lunatic can put out the sun by scribbling the word 'darkness' on the walls of his cell.

简单是终极的复杂。

真正的学者不在于知道多少，而在于热爱真理。

所有人类的错误都是不耐烦，过早地中断有条不紊的程序，对表面问题进行明显的围栏。