"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
理解就是知道什么导致什么。
我不是一个完美的人,但我每天都在努力变得更好。
最好的解决方案往往是最简单的。
Some people don’t like change, but you need to embrace change if the alternative is disaster.