真正的发现者不是第一个偶然发现某物的人,而是发现其意义的人。
当下总是不稳定的地方,而过去是我们自以为知道身在何处的地方。
我们最爱的故事会永远活在我们心中。
我们都在同一条船上,这就是我们要传达的信息。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
创新的关键不仅在于发现,还在于将该发现应用于现实世界的问题。