预测未来最好的方式就是去创造未来。

Words are wise men's counters, they do but reckon by them; but they are the money of fools.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

你每花一块钱购买一些实质性的东西，预计在其寿命结束时要支付一块钱的维修、保养或处理费用。