成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
质量不是一种行为，而是一种习惯。
The best detectives are the ones who never stop asking questions.
我只是尽力做到最好。
我不是女权主义者，我是人文主义者。
没有任何物理量可以永远呈指数级变化。