Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A survey of smart contract formal specification and verification
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 …
blockchain platform. Given the significance of smart contracts in supporting important …
Formal methods for the verification of smart contracts: A review
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 …
and execution conditions unforgeable. The purpose of a smart contract is to eliminate the …
Foundational oracle patterns: Connecting blockchain to the off-chain world
Blockchain has evolved into a platform for decentralized applications, with beneficial
properties like high integrity, transparency, and resilience against censorship and …
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 …
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
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 …
given context when designing software. Using patterns is a common practice for software …
Unfolding the blockchain era: Timeline, evolution, types and real-world applications
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 …
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
Blockchain has attracted broad interests to build decentralised applications. A typical class
of applications uses blockchain for the management of cross‐organisational business …
of applications uses blockchain for the management of cross‐organisational business …
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …
business processes. The rising interest in the development of decentralized autonomous …
Blockchain-based data storage with privacy and authentication in internet of things
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 …
features applicable for various applications. In such scenarios, due to low data handling …
Applications of blockchain in business processes: A comprehensive review
Blockchain (BC), as an emerging technology, is revolutionizing Business Process
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …