@misc{indiciae5f631aaed6bd,
  title = {Technical Report: Exploring Automatic Model-Checking of the Ethereum specification},
  author = {Igor Konnov and Jure Kukovec and Thomas Pani and Roberto Saltini and Thanh Hai Tran},
  year = {2025},
  url = {https://arxiv.org/abs/2501.07958},
  note = {Source identifier: 2501.07958}
}