形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
"The best stories are those that refuse to be finished."
翻译:君子不惜牺牲生命来实现自己的志向。
Every man's life ends the same way. It is only the details of how he lived and how he died that distinguish one man from another.