The best way to be successful is to believe in yourself.
成功的最好方法是相信自己。
The challenge in model checking is not just to find errors, but to understand why they occur.
The future belongs to those who dare to dream.
所以根基树立不牢的人，不要期望有茂盛的枝叶。