A man should always consider how much he has more than he wants.
模型检查是验证有限状态并发系统正确性的强大技术。
The art challenges the technology, and the technology inspires the art.
重要的不是你打得有多重，而是你能承受多大的打击并继续前进。