模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在我正在寻找一种合适的语言。
A good mathematician is someone who can see analogies between theorems; a great mathematician is someone who can see analogies between analogies.
我想成为我一直想成为的样子：占据主导地位。