软件开发中最重要的一个方面是明确你试图构建什么。
The most important single aspect of software development is to be clear about what you are trying to build.
作家的职责是讲述真相，即使它令人不安。
The whole problem with the world is that fools and fanatics are always so certain of themselves， and wiser people so full of doubts.
解析：不要窃取他人的成果，不要忘记自己的耻辱。
The success of an enterprise depends on teamwork; the strength of an individual is limited.
模型检查是验证硬件和软件系统正确性的强大工具。
