- 2023年11月07日
- 2023年03月02日
「形式化验证」如ChatGPT或将取代人类?CertiK专家为你解答该命题真伪!
我们常说形式化验证用于智能合约审计。那么审计当中,到底哪些部分使用了形式化验证,人工审计又有着怎样的作用呢?
2023年02月09日- 2022年11月10日
- 2022年10月21日
- 2022年08月16日
- 2022年06月25日
- 2021年12月09日
- 2021年08月09日
- 2018年08月03日
- 1
「形式化验证」如ChatGPT或将取代人类?CertiK专家为你解答该命题真伪!
我们常说形式化验证用于智能合约审计。那么审计当中,到底哪些部分使用了形式化验证,人工审计又有着怎样的作用呢?