Two Gu's (not related) talk about formal software verification and how it can help protect systems from bugs and hackers. Prof. Ronghui Gu is co-founder of CertiK and an expert in formal verification of system software. CertiK aims to prevent abuse of smart contracts and blockchain ecosystems. 0:24 Current problems with smart contracts and why there is a need for formal verification 4:06 Intention vs Implementation - smart labelling 7:53 Formal software verification in other industries 9:19 Formal verification and Deep Specification 11:53 How can CertiK prevent abuse of ERC-20 tokens 17:51 CertiK and labelling implementation 19:57 Human error in formal verification and how to avoid it 21:30 Why is a token needed in CertiK 26:35 Implementation issues 29:04 Development progress and the future of CertiK 31:43 CertiK and solidity 35:13 Deep Sea language Disclosure: I intend to buy some CertiK tokens ??Subscribe to Boxmining for Daily CryptoNews and Altcoin explainers: https://www.youtube.com/c/boxmining ?Recommended Exchange - Binance: https://goo.gl/joe55C ?Hardware Wallet: https://www.ledgerwallet.com/r/428b ?Mobile Wallet: https://enjinwallet.io/ Brave Browser: https://brave.com/box831 #Bitcoin #Ethereum #Cryptocurrency #Crypto #Altcoins ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● Telegram groups: Telegram Discussion Group: https://t.me/Boxdatamining Telegram Announcements: https://t.me/boxminingChannel ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● ♨️Social: Steemit: https://steemit.com/@boxmining Twitter: https://twitter.com/boxmining Facebook: https://www.facebook.com/boxmining ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬● I'm not a professional financial adviser and you should always do your own research. I may hold the cryptocurrencies talked about in the video. ●▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬▬●