模型检查是验证硬件和软件系统正确性的强大工具。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The most dangerous poison is the feeling of achievement. The antidote is to think like a beginner every morning.
You have to be willing to fail to create something original.
一个好的旅行者不知道他要去哪里。