RT: Along with our proprietary Formal Verification technology, the CertiK team used static analysis & manual review to ensure that @teamhycon's $HYC token is built on a strong and secure foundation.
Check out details from the audit report!
https://bit.ly/2pTFAzP
#CertiKCertified https://t.co/5z0hg9HnuA
RT：除了我们专有的形式验证技术，CertiK 团队还使用了静态分析