形式化方法的美在于它们能够提供关于系统行为的绝对保证。
汽车行业正在经历百年未有之大变局,这是中国汽车人的机会。
忧虑是人们生存的重要条件。与忧虑的正面交锋可以为我们驱赶厌倦感,使我们的感觉更加敏锐,并且保持人类生存所必须的压力。
成功是日复一日重复的小努力的总和。
Believe in yourself even when no one else does.