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)