A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Formal methods for the verification of smart contracts: A review

M Krichen, M Lahami… - 2022 15th International …, 2022 - ieeexplore.ieee.org
Smart contracts are digital contracts that rely on Blockchain technology to make their terms
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …

Foundational oracle patterns: Connecting blockchain to the off-chain world

R Mühlberger, S Bachhofner, E Castelló Ferrer… - … : Blockchain and Robotic …, 2020 - Springer
Blockchain has evolved into a platform for decentralized applications, with beneficial
properties like high integrity, transparency, and resilience against censorship and …

Verification of smart contracts: A survey

M Almakhour, L Sliman, AE Samhat… - Pervasive and Mobile …, 2020 - Elsevier
To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

[HTML][HTML] Blockchain software patterns for the design of decentralized applications: A systematic literature review

N Six, N Herbaut, C Salinesi - Blockchain: Research and Applications, 2022 - Elsevier
A software pattern is a reusable solution to address a commonly occurring problem within a
given context when designing software. Using patterns is a common practice for software …

Unfolding the blockchain era: Timeline, evolution, types and real-world applications

A Arooj, MS Farooq, T Umer - Journal of Network and Computer …, 2022 - Elsevier
Blockchain technology is based on a series of time-stamped and decentralized immutable
records without third-party involvement. Since the infancy of the term, it has attained …

Integrated model‐driven engineering of blockchain applications for business processes and asset management

Q Lu, A Binh Tran, I Weber, H O'Connor… - Software: Practice …, 2021 - Wiley Online Library
Blockchain has attracted broad interests to build decentralised applications. A typical class
of applications uses blockchain for the management of cross‐organisational business …

A formal specification smart-contract language for legally binding decentralized autonomous organizations

V Dwivedi, A Norta, A Wulf, B Leiding, S Saxena… - IEEE …, 2021 - ieeexplore.ieee.org
Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …

Blockchain-based data storage with privacy and authentication in internet of things

R Goyat, G Kumar, M Alazab, M Conti… - IEEE Internet of …, 2020 - ieeexplore.ieee.org
Internet of Things (IoT) composed of large number of sensing devices with a variety of
features applicable for various applications. In such scenarios, due to low data handling …

Applications of blockchain in business processes: A comprehensive review

W Viriyasitavat, L Da Xu, D Niyato, Z Bi… - Ieee …, 2022 - ieeexplore.ieee.org
Blockchain (BC), as an emerging technology, is revolutionizing Business Process
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …