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

Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Ahmed Ben Ali, Philippe Genestier

Browse the full COMPSAC paper archive.