模型检查是验证有限状态并发系统正确性的强大技术。
"I don't think about the past. The only thing that matters is the everlasting present."
I don't want to be a role model. I want to be a reference.
言辞和行动不是分离的,而是紧密相连的。
我们讲故事是为了活着,我们活着是为了讲故事。
心灵分为有时会相互冲突的部分。就像骑在大象背上的骑手,意识、推理的心灵部分对自动、情感的部分只有有限的控制。
The lab notebook is a scientist’s most honest companion.