模型检查是验证有限状态并发系统正确性的强大技术。
找到真相的唯一方式是迷失自己。
The future is not something we enter. The future is something we create.
自然从未完成;画面永远不会完整。
我不是那种会让对尊重的热爱减少的人。
智者能超越任何加诸于他的侮辱,对不当行为最好的回应是耐心和节制。
写作是探索我们内心未知的方式。