"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
如果你想走得快,就独自前行;如果你想走得远,就结伴同行。
Just because someone doesn‘t love you the way you want them to, doesn‘t mean they don‘t love you with all they have。