Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

All | Books | Book Chapters | Refereed Articles | Conference Papers | PhD Thesis | Master Theisis | Other publications


by Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai
Reference:
Rim Ben Fekih, Mariam Lahami, Mohamed Jmaiel, Salma Bradai, Formal Verification of Smart Contracts Based on Model Checking: An Overview, In IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2023, Paris, France, December 14-16, 2023, IEEE, 2023.
Bibtex Entry:
@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}
}


ReDCAD


National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact


Prof. Dr. Eng. Mohamed Jmaiel

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
Phone: +216 74 666 578

Address


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia