Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review

Blockchain technology promises to spark a real revolution. One of most important concepts associated with this technology is smart contracts, which enable the automatic execution of agreements and augur a world without intermediaries. The conditions and rules of “contracts” are...

Full description

Bibliographic Details
Main Authors: Nicolas Sanchez-Gomez, Jesus Torres-Valderrama, J. A. Garcia-Garcia, Javier J. Gutierrez, M. J. Escalona
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/9186040/