生活若无波折险阻,就会过于平淡无奇。
Life would be too smooth if it had no rubs in it.
I don't stop when I'm tired. I stop when I'm done.
自由不仅仅是随心所欲的机会;也不仅仅是在既定选项之间选择的机会。自由首先是制定可用选择的机会,对它们进行辩论——然后,是选择的机会。
The challenge in model checking is not just to find errors, but to understand why they occur.