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

Autor:	Rim Ben Fekih, Mariem Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier
Rok vydání:	2022
Zdroj:	2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::735f165f2f59364d9d9c1492108ef9cd https://doi.org/10.1109/compsac54236.2022.00020 Zobrazit plný text záznamu