C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An approach for the automatic verification of blockchain protocols: the Tweetchain case study.
Mariapia Raimondo
Simona Bernardi
Stefano Marrone
José Merseguer
Published in:
J. Comput. Virol. Hacking Tech. (2023)
Keyphrases
</>
case study
real world
data sets
cryptographic protocols
lessons learned
communication protocols
real time
business process
software development
information systems
information retrieval
similarity measure
knowledge management
image sequences
access control
design process
social networks
genetic algorithm