@inproceedings{c3e481ca8ca24575aff2fcc0799adc46,
title = "Enhancing DApp Supply Chain with Verified Smart Contracts: A Case Study on the Olive-Oil Industry",
abstract = "The integration of smart contracts into decentralized applications (DApps) presents significant advancements in supply chain management. This paper demonstrates the use of formal verification for smart contracts within a practical DApp, specifically designed for the olive oil supply chain. It provides actionable guidance for developers and software designers on how to express and verify functional properties using verification tools such as SMTChecker and Certora Prover.",
keywords = "Certora Prover, SMTChecker, blockchain, formal verification, smart contracts",
author = "Bennour, \{Imed E.\} and Wannes, \{Mariem Hadj\} and Moncef Ghiss and Mohamed Braham and Asma Lahbib and Nasser Habib and Henrique Ribeiro",
note = "Publisher Copyright: {\textcopyright} 2024 IEEE.; 2024 IEEE/ACS 21st International Conference on Computer Systems and Applications, AICCSA 2024 ; Conference date: 22-10-2024 Through 26-10-2024",
year = "2024",
month = jan,
day = "1",
doi = "10.1109/AICCSA63423.2024.10912547",
language = "English",
series = "Proceedings of IEEE/ACS International Conference on Computer Systems and Applications, AICCSA",
publisher = "IEEE Computer Society",
booktitle = "2024 IEEE/ACS 21st International Conference on Computer Systems and Applications, AICCSA 2024 - Proceedings",
}