Model checking is a powerful tool for verifying the correctness of hardware and software systems.
(在购并General RE公司后,卖掉其所持有获利不菲价值四十六亿美金的美国零息公债后,债券仍持续大涨时,巴菲特淡淡地表示)
一旦你开始谈论如果你输了你会做什么,你就已经输了。