solc-verify: A Modular Verifier for Solidity Smart Contracts

Titlesolc-verify: A Modular Verifier for Solidity Smart Contracts
Publication TypeConference Paper
Year of Publication2019
AuthorsHajdu, Á., and Jovanović, D.
Conference NameVerified Software. Theories, Tools, and Experiments
PublisherSpringer
Conference LocationNew York City, USA
Notes(Accepted, in press)