我们发现了所盼望发现的东西,并且我们接受了所请求的东西。
大学就像养老院,而且事实上,更多人死在了大学里。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."