solc-verify: A Modular Verifier for Solidity Smart Contracts

Címsolc-verify: A Modular Verifier for Solidity Smart Contracts
Közlemény típusaConference Paper
Kiadás éve2019
SzerzőkHajdu, Á., and Jovanović, D.
Konferencia neveVerified Software. Theories, Tools, and Experiments
KiadóSpringer
Konferencia helyszíneNew York City, USA
Jegyzetek(Accepted, in press)