模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
War is what happens when language fails.
了解上帝的伟业，理解祂的智慧、威严和力量；在一定程度上欣赏祂律法的奇妙运作，这一切必然是对至高者的一种愉悦和可接受的崇拜方式，对祂来说，无知不会比知识更令人感激。
I don't want to be a star; I want to be a constellation.
A wise man said: before you speak， let your words pass through three gates. At the first gate， ask yourself， "Is it true？" At the second gate， ask "Is it necessary？" At the third gate， ask， "Is it kind？"
The future competition is about data, and even more about data processing capabilities.
我不写歌曲，我写的是原声带。
我不让意见影响我，我让它们启发我。