当你在一生中做某事做到最好时，你真的不想放弃——对我来说就是网球。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

不要等到一切都刚刚好。它永远不会完美。总会有挑战、障碍和不太完美的条件。所以呢？现在就开始吧。随着你迈出的每一步，你会变得越来越强大，越来越熟练，越来越自信，越来越成功。

数学是过去与未来的对话。

我不追随潮流，我创造潮流。

质量是企业的生命，没有质量就没有市场。