TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Correas, Jesús
AU  - Román-Díez, Guillermo
AU  - Gordillo Alguacil, Pablo
AU  - Rubio, Albert
PY  - 2020
DO  - 10.1007/978-3-030-45237-7_7
SN  - 9783030452360
SN  - 9783030452377
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/96456
AB  - We present the main concepts, components, and usage of Gasol, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. Gasol offers a wide variety of cost models that allow inferring the gas consumption associated to selected types of EVM...
LA  - eng
M2  - 118
TI  - GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
TY  - conference paper
ER  -