如果你想赢得诺贝尔奖,就不应该想着赢得诺贝尔奖。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
However difficult life may seem, there is always something you can do and succeed at.
I'm not a hero; I'm a survivor.
梦想不会自己实现,除非你行动。