形式化方法不是银弹,但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
天下的治乱不在于一个王朝的兴亡,而在于百姓的忧乐
We know so little about each other. We lie mostly submerged, like ice floes, with our visible social selves projecting only cool and white.
I was so much older then, I'm younger than that now.
二十年后,你会懊悔更多的是那些现在没做,而不是真的做了的事。所以,抛开绳结,驶离安全的港湾。掌握好你的风向,勇敢的探险,梦想,发现吧。