VerX: Safety Verification of Smart Contracts.

Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev

Browse the full SP paper archive.