「形式化验证」如ChatGPT或将取代人类？CertiK专家为你解答该命题真伪！

我们常说形式化验证用于智能合约审计。那么审计当中，到底哪些部分使用了形式化验证，人工审计又有着怎样的作用呢？