模型检查是验证硬件和软件系统正确性的强大工具。

许多人的名声如果在街上遇到自己的品德会互相不认识。

We're still in the first minutes of the first day of the Internet revolution.

I don't want to be a superstar. I want to be a super person.

Art should create a kind of productive discomfort.

你们会在严峻的现实之下选择放弃，还是会义无反顾地前行？

电影是一种时间的艺术，它让我们在有限的时间里体验无限的情感。

你无法回到过去改变开头，但你可以从现在开始改变结局。

【译文】是是非非每天都有，若不去听它自然就不存在了。宁可生活贫困，做一个正直的人，也不能生活富足，做一个奸邪的人。有些事宁可相信它有，也不要相信它没有。