形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
追逐梦想永远不会太晚。
To write is to resist the noise of the world.
几乎找不到一个能干的工人,他不会花大量时间研究自己可以工作得多慢,同时还能让雇主相信他工作得不错。
成功不是终点,失败也不是致命的:重要的是继续前进的勇气。