工作的完美程度取决于方法的简洁性。
The perfection of the work depends on the simplicity of the means.
The most important thing in communication is hearing what isn't said.
An artist's job is to make the invisible visible.
模型检查是验证有限状态并发系统正确性的强大技术。
I’d rather confuse than bore.