成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
活着是非常危险的。
我不是说唱歌手，我是一个灵薄狱的传奇。
The present is the past rolled up for action, and the past is the present unrolled for understanding.
真相很少纯粹，也绝不简单。
I don't believe in typecasting. Every role is an opportunity to explore something new and challenge myself as an actor.