拡張可能な形式的検証に向けて：ベルゲンでのECOOP 2025からの洞察

ノルウェー・ベルゲンで開催されるECOOP 2025の拡張可能な形式的検証に関する基調講演を、Nethermind SecurityのPetar Maksimovićと共に探る。これがブロックチェーンとプログラミング言語にどのような影響を与えるのかを解説。

2025年7月2日