模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
经验是我们给自己的错误起的名字。
最好的程序是这样写的:计算机可以快速执行它们,人类可以清楚地理解它们。理想情况下,程序员是一位散文家,他使用传统的美学和文学形式以及数学概念来传达算法的工作原理,并说服读者结果是正确的。
电子学的未来掌握在那些能够操纵电子的人手中。
Stay true to yourself and never let anyone dull your sparkle.