The only constant in life is change.
人生没有绝对的答案,只有不断的尝试。
人是自己的世界。
The only thing that is truly yours is your passion.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
国与国之间是平等的,人与人之间也是平等的,在人格与尊严上是没有贵贱之分的,上天对所有人都是一视同仁的,人生而平等是上天赋予每个人的不可被侵犯的权利。