The challenge in model checking is not just to find errors, but to understand why they occur.

写作是一种抵抗遗忘的方式。

正是通过观察和反思的力量，人们才能找到方法。所以我们必须不断挖掘和钻研。

艺术家必须愿意壮烈地失败。

The essence of technology is by no means anything technological.

科学是一种思维方式，远不止是一堆知识。

我们要做的是让用户的生活更简单。