最成功的企业是那些能够随着时间的推移而适应和进化的企业。
模型检查是验证有限状态并发系统正确性的强大技术。
The most important political development of the modern era is the rise of the modern state.
The best way to predict the future is to invent it.