The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
戏剧中的真相总是难以捉摸,但这并不意味着我们不应该追求它。
如果我失败了,我会再试一次,再试一次,再试一次。如果你失败了,你会再试一次吗?人类的精神可以承受比我们意识到的更糟糕的情况。重要的是你如何结束。你会坚强地结束吗?
The work of every workman is fully planned out by the management at least one day in advance, and each man receives in most cases complete written instructions, describing in detail the task which he is to accomplish.