"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
我一直记得，青春是一件美丽的事情，对我来说，它永远是灵感的源泉。
巴金
我就从来没有见过秋花为了我在悲哀，忽然变了颜色；只要有风，大海是总在呼啸的，不管我爱闹还是爱静。
鲁迅
生命里最重要的事情是要有个远大的目标，并借助才能与坚持来完成它。
歌德
教化比雨露，名法方风霜。
王安石
当你凝视深渊时，深渊也在凝视着你。
尼采
过故乡而一顾兮，泣歔欷而霑衿。
东方朔
改变的过程就是这样，我们心里有目的地，可是在行动上只能看清脚下。
陈海贤
痛苦可以塑造我们，但它不能定义我们。
佚名
人们所称的幸福与心灵休戚相关，而构成幸福的那些外部因素则多么无足轻重！
安德烈·纪德
产品是1，营销是0。
雷军
成功不是终点，失败也非致命，重要的是继续前进的勇气。
Success is not final, failure is not fatal: it is the courage to continue that counts.
帕特里克·弗雷泽
金融科技的发展既带来了效率提升，也带来了新的风险，需要在创新与监管之间找到平衡。
黄益平
要瘦就得付出代价，受不了就继续在胖子行列混。
小S
一言既出，驷马难追。
谚语
不要笑， 不要哭， 不要恨， 要理解。
斯宾诺莎
以至公无私之心，行正大光明之事。
吕坤
没有激情，世上任何一件伟大的事业都不能完成。
黑格尔
我不是商人，我就是生意本身。
I'm not a businessman, I'm a business, man.
50美分
你总以为“还有明天”，但“明天”的本质是“永不”。
简·博克