人在谈论自己时最不像自己。给他一个面具,他就会告诉你真相。
软件的复杂性是一个本质属性,而不是偶然的。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
Knowledge is the source of power.