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.