Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE.

Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel

Browse the full VMCAI paper archive.