The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
每个生命都会留下证据的痕迹；传记作者就是追踪这些痕迹的侦探。
时间是最好的老师，但不幸的是，它杀死了所有的学生。
我唯一能做的就是画画，而这对我来说已经足够。
Over time, our emerging high-usage products will likely generate significant new revenue streams for Google as well as for our partners, just as search does today.
I'm not afraid of the future; I'm afraid of the past.
可持续性不是一种选择，而是煤炭行业的必需品。
Never give up. Today is hard, tomorrow will be worse, but the day after tomorrow will be sunshine.
We are healed of a suffering only by experiencing it to the full.
We have not yet learned to think, but we are learning.
In business, as in life, the choices we make define who we are.