Everett Hildenbrandt

Everett Hildenbrandt leads Runtime Verification, which develops formal methods for analyzing software and blockchain systems.

9 talks by Everett Hildenbrandt

• Shipping AI-Generated Code That Won't Hurt You (Much)
• Challenges Developing and Maintaining Open Source Software in Web3
• Formal Verification of Foundry Tests
• A Brief Introduction to K, KEVM, and KWasm
• All Core Devs - Execution #40
• Overview and path to KeWASM
• IC3 – Crypto Bootcamp Project Presentations
• KEVM: Overview and Progress Report
• Panel: Formal Verification