模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
真正的幸福首先来自于自我享受,其次来自于与少数精选伙伴的友谊和交谈。
"To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death."