How formal analysis and verification add security to blockchain-based systems.

Shin'ichiro Matsuo

Browse the full FMCAD paper archive.