最好的初创公司源于解决实际问题，而非追逐潮流。

你写作不是因为你想要说些什么；你写作是因为你有话要说。

百姓如果没有粮食,就不能供君王役使。所以,粮食不可不努力耕种,用度不可不厉行节俭。

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

科学的作用是照亮前进的道路，而不是规定它。