成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
"I'm interested in the human condition and what makes people tick."
We don't inherit the earth from our ancestors; we borrow it from our children.
Innovation comes not from more resources, but from better use of resources.
当碰到了爱情,每个人都成了诗人
真正的发现往往发生在好奇心和坚持的交汇处。
