Formal Verification of Smart Contracts: Short Paper.
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges GonthierNadim KobeissiNatalia KulatovaAseem RastogiThomas Sibut-PinoteNikhil SwamySantiago Zanella BéguelinPublished in: PLAS@CCS (2016)