The more you write, the more you discover what you don’t know.
压力是一种特权——它意味着你有机会做一些伟大的事情。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."