"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
有时候我真想放弃,但想到会让很多人失望,我就坚持下来。
We don't inherit the ocean from our ancestors; we borrow it from our children.
"Every story has a beginning, a middle, and an end, but not necessarily in that order."
永远不要停止学习,因为世界永远不会停止变化。
The consequences of an act affect the probability of its occurring again.