"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
也许宇宙中最反直觉的真理是:你给别人的越多,你得到的也越多。了解这一点是智慧的开始。
我不是一个错误。我不是一个遗憾。我是一件正在创作中的杰作。
所谓现实只不过是一个错觉,虽然这个错觉非常持久。
I'm not a perfectionist, but I like to feel that things are done well.