A Aralex Aachen research explorer

June 01, 2022 conference-paper

Towards Model checking approach for Smart contract validation in the EIP-1559 Ethereum

IEEE Annual Computers, Software, and Applications Conference (COMPSAC)

DOI: 10.1109/compsac54236.2022.00020 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 11

References 1

Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

47

citations

1 result