Compositional Verification of Smart Contracts Through Communication Abstraction.

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

Browse the full SAS paper archive.