30:14 Solc-verify, a source-level formal verification tool for Solidity smart contracts by Akos Hajdu Ethereum Foundation
20:24 Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin Ethereum Foundation
27:02 Certora: Keeping your code secure forever: Move Fast and Break Nothing by Mooly Sagiv Ethereum Foundation
22:09 Detecting DoS vulnerabilities caused by gas limits with fuzzing by Sebastian Banescu Ethereum Foundation
26:56 Visualization of code bases with the Solidity extension for VSCode by Gonçalo Sá and Martin Ortner Ethereum Foundation
5:35 Introduction to LSP & possible applications to Solidity by Christian Parpart Ethereum Foundation
