C
CertiKBot
Checkout Prof. Ronghui Gu's online interview:
https://www.youtube.com/watch?v=ICb6CP3cZKY
https://www.youtube.com/watch?v=ICb6CP3cZKY
Видео недоступно для предпросмотра
Смотреть в Telegram
CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain Ecosystems
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 C...