🎥 Another episode of #BlockTides' INTERROG8 interview with Certora at ETH Vietnam 2022! 🇻🇳
💎 ETH VIETNAM is the first and biggest blockchain event series with the participation of global large-scale iconic blockchain and cryptocurrency entities. 🌎
🛡 Certora Prover builds on 30 years of academic research and hundreds of academic publications which pioneered the area of Formal Verification. The team combines academic leadership, industrial strength, and Blockchain expertise. 🌐