Model checking is a powerful tool for verifying the correctness of hardware and software systems.

政府的腐败几乎总是始于其原则的衰败。

创新不仅仅是创造新产品，而是重新构想我们如何解决问题。

花总是表里不一，而我太年轻了，不知道该怎样爱护她……

You don’t build a business, you build people, and then people build the business.

积聚的水如果不深，就无力浮起大船。倒一杯水在堂前的凹地，芥草浮在上面就是小船了，放一只水杯在上面就动不了了，是因为水浅而船大。聚集的风如果不大，就无力载负巨大的双翼，因而大鹏扶摇而上九万里，疾风在下面劲吹，然后才能凭借风力，背负蓝天而无可阻挡，才能够一路南飞。