Towards Scalable Formal Verification: Insights from ECOOP 2025 in Bergen

Explore the upcoming keynote on scalable formal verification at ECOOP 2025 in Bergen, Norway, featuring Nethermind Security's Petar Maksimović. Learn how this impacts blockchain and programming languages.

July 2, 2025