Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks.
Marisol García-VallsAlejandro M. Chirivella-CiruelosPublished in: Inf. (2024)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- logic programming
- bounded model checking
- high cost
- social networks
- automated reasoning
- supply chain
- digital images
- network structure
- total cost
- formal methods
- model checker
- network design
- databases
- epistemic logic
- using semantic web technologies
- formal verification
- signature verification
- multi valued
- modal logic
- complex networks
- metadata
- neural network