Código QR (código de barras bidimensional)

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts

The concept of smart contracts (SCs) is becoming more prevalent, and their application is gaining traction across many diverse scenarios. However, producing poorly constructed contracts carries significant risks, including the potential for substantial financial loss, a lack of trust in the technolo...

Fuld beskrivelse

Na minha lista:
Principais autores: Iqra Mustafa, Alan McGibney, Susan Rea
Format: Artigo
Sprog:Inglês
Udgivet: Frontiers Media S.A. 2024-01-01
Serier:Frontiers in Blockchain
Fag:
formal verification
smart contracts
model-driven engineering
knowledge base graphs
DAML model
Online adgang:https://www.frontiersin.org/articles/10.3389/fbloc.2023.1276233/full
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker