模型检查是验证有限状态并发系统正确性的强大技术。

Paths are made by walking.

"The journey of a thousand miles begins with a single step."

You think when you wake up in the mornin yesterday don't count. But yesterday is all that does count.

建筑肯定不是空间的设计，当然也不是体量的组合或组织。这些是手段，而不是目的。目的是完整而全面的艺术作品。

Control your expenses better than your competition. This is where you can always find the competitive advantage.

作家就是那种花上数年耐心地试图发现自己内心第二个存在的人，以及那个造就了他的世界。