真实地生活而不是通过外表现象来显示它。
Live truth instead of professing it.
The essence of computational complexity is to understand the limits of what can be computed efficiently.
The novel is the best instrument to explore human complexity.
Love the life you live, live the life you love.
模型检查是验证有限状态并发系统正确性的强大技术。