成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
The terror of art is that you don't know where it will take you.
爱是通过他人的眼睛看世界。
最好的领导者是那些最热衷于让比自己更聪明的人围绕在身边的人。
世界总是危险的,人们总是有好有坏。