Enhancing DApp Supply Chain with Verified Smart Contracts: A Case Study on the Olive-Oil Industry
Imed Eddine Bennour, Mariem Hadj Wannes, Moncef Ghiss, Mohamed Braham, Asma Lahbib, Habib Nasser, Henrique Ribeiro · 2024
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.