Proofgold: Blockchain for Formal Methods.

Chad E. Brown, Cezary Kaliszyk, Thibault Gauthier, Josef Urban

Browse the full CAV paper archive.