形式化方法的美在于它们能够提供关于系统行为的绝对保证。

Innovation is not just about technology; it's about changing the way people think and act.

生命太短暂，不能渺小。

The key to progress is persistence and curiosity.

你将两个从未在一起的人组合在一起；有时世界因此改变，有时不会。他们可能坠毁燃烧，也可能迸发点亮世界的火花。