@article{DBLP:journals/access/FekihLBJ25,
  author       = {Rim Ben Fekih and
                  Mariam Lahami and
                  Salma Bradai and
                  Mohamed Jmaiel},
  title        = {Formal Verification of ERC-Based Smart Contracts: {A} Systematic Literature
                  Review},
  journal      = {{IEEE} Access},
  volume       = {13},
  pages        = {11396--11422},
  year         = {2025},
  url          = {https://doi.org/10.1109/ACCESS.2025.3527158},
  doi          = {10.1109/ACCESS.2025.3527158}
}