Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Keerthi Nelaturu, Anastasia Mavridou, Andreas Veneris, Aron Laszka. Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020, Toronto, ON, Canada, May 2-6, 2020. pages 1-9, IEEE, 2020. [doi]

The following publications are possibly variants of this publication:

Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolidKeerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas G. Veneris, Aron Laszka. tdsc, 20(4):3110-3127, July - August 2023. [doi]

VeriSolid: Correct-by-Design Smart Contracts for EthereumAnastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey. fc 2019: 446-465 [doi]

runs on WebDSL