VeriSolid: Correct-by-Design Smart Contracts for Ethereum.

Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey

Browse the full FC paper archive.