模型检查是验证有限状态并发系统正确性的强大技术。
树枝迎来南北飞鸟,树叶送走往来清风
可持续性不是一种趋势,而是一种责任。
商业中最危险的一句话是“我们一直都是这么做的”。
事前考虑清楚,可是一旦到了该行动的时候,就要毫不犹豫,放手一搏。
圆点无法独自存在,如同人类的存在。
商业成功需要训练、纪律和努力工作。但如果你不害怕这些,今天的机会和以往一样大。
The best way to optimize a program is to optimize it.