Formal Verification of Blockchain Smart Contracts via ATL Model Checking
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3143145
Abstract: A blockchain is a list of data blocks as a publicly distributed ledger, which are linked together using cryptography. By allowing Turing-complete programming languages to implement smart contracts, recent blockchains such as Ethereum can reduce… read more here.
Keywords: formal verification; smart contracts; blockchain smart; atl model ... See more keywords
Agri-4-All: A Framework for Blockchain Based Agricultural Food Supply Chains in the Era of Fourth Industrial Revolution
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Access"
DOI: 10.1109/access.2023.3259962
Abstract: Blockchain, smart contracts, and the Internet of Things (IoT) are essential technologies for the business process re-engineering of supply chains in the era of Industry 4.0. The agricultural food supply chain is one of the… read more here.
Keywords: supply; smart contracts; agri; blockchain smart ... See more keywords
Blockchain and Smart Contract Engineering
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Software"
DOI: 10.1109/ms.2020.3000354
Abstract: Blockchains help to build trust among a decentralized network of unknown and untrusted peers who need to agree on a common protocol and trust the correctness and compatibility of the corresponding software implementations. The software… read more here.
Keywords: contract engineering; engineering; blockchain smart; software ... See more keywords
Leveraging Blockchain and Smart Contract Technologies to Overcome Circular Economy Implementation Challenges
Sign Up to like & getrecommendations! Published in 2022 at "Sustainability"
DOI: 10.3390/su14159492
Abstract: Adopting a circular economy (CE) has rapidly emerged among policymakers and business community stakeholders to promote material circularization and ensure sustainable development. While the inclination for a paradigm shift away from the linear economy is… read more here.
Keywords: blockchain smart; circular economy; smart contract; economy ... See more keywords