@inproceedings{DBLP:conf/wetice/FekihLJB23,
  author       = {Rim Ben Fekih and
                  Mariam Lahami and
                  Mohamed Jmaiel and
                  Salma Bradai},
  title        = {Formal Verification of Smart Contracts Based on Model Checking: An
                  Overview},
  booktitle    = {{IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2023, Paris, France, December
                  14-16, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/WETICE57085.2023.10477834},
  doi          = {10.1109/WETICE57085.2023.10477834}
}