Azucena Garvía Bosshard

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Formal Analysis

Bounded Model Checking

Top Venues

Arch. Formal Proofs

Publications

Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
Formal Verification of the Sumcheck Protocol. CoRR (2024)
Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle
The Sumcheck Protocol. Arch. Formal Proofs 2024 (2024)