Formal Verification of the Sumcheck Protocol.

Azucena Garvía Bosshard Jonathan Bootle Christoph Sprenger

Published in: CoRR (2024)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
symbolic model checking
bounded model checking
automated verification
lightweight
program slicing
programming language
test cases
first order logic
temporal logic
formal analysis
ip address