TY  - RPRT
TI  - Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
AU  - Igor Konnov
AU  - Jure Kukovec
AU  - Thomas Pani
AU  - Roberto Saltini
AU  - Thanh Hai Tran
PY  - 2025
UR  - https://arxiv.org/abs/2501.07958
ID  - 2501.07958
ER  -