形式化方法不是银弹,但它们是追求可靠系统的重要工具。
我不知道我为什么爱你,但是我爱你。
Innovation is the eternal driving force for enterprise development.
写作是一种爱的行为,是对现实和他人的承诺。
All your dreams can come true if you have the courage to pursue them.
每个人都是自己的上苍。如果你自己都放弃自己,还有谁会救你?强者自救,圣者渡人。