I think the most important thing in life is to be honest with yourself.
求知若飢,虚心若愚。
模型检查是验证有限状态并发系统正确性的强大技术。
The mind is a temporal sequence of processes.
成功建立在失败的基础之上。
大智慧的人广博豁达,小聪明的人斤斤计较。
You cannot step into the same river twice.