The best books are those that challenge you.
学到的不是动作，而是意义。
The only way you can write the truth is to assume that what you set down will never be read.
通过反思来获得智慧。
I write to remember, to keep alive what would otherwise be lost.
模型检查是验证硬件和软件系统正确性的强大工具。
"The biggest risk is not taking any risk."