"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

The only way to discover the limits of the possible is to go beyond them into the impossible.

凡是天下的祸患，掠夺与怨恨，之所以能出现，原因就在于人们不相爱。因此，仁义的人认为这是不对的。