迈向可扩展的形式化验证：来自挪威卑尔根ECOOP 2025的见解

探索即将在挪威卑尔根举行的ECOOP 2025大会上关于可扩展形式化验证的主题演讲，主讲人为Nethermind Security的Petar Maksimović。了解这如何影响区块链和编程语言领域。

2025年7月2日