Building Executable Secure Design Models for Smart Contracts with Formal Methods.

Weifeng Xu, Glenn A. Fink

Browse the full FC paper archive.