永远不要停止质疑如何做得更好——自满是进步的敌人。
Some people feel the rain. Others just get wet.
历史学家的任务是理解过去,而小说家的任务是让它活过来。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.