揣摩自己的身心,于百年后,将被后人安放在什么位置上?省察自己的面目,在历史上,和哪一位古代人物相似?
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."