Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper).

Daniel Britten, Vilhelm Sjberg, Steve Reeves

Browse the full CAV paper archive.