"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
预测未来的最好方式就是创造未来。
I believe in the power of dreams.
我们不能选择自己的心。我们不能让自己想要对我们或对别人有益的东西。
Leadership means listening more than you speak, and acting with purpose.