Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors.

Saved in:
Bibliographic Details
Title: Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors.
Authors: Xu, Yibin1, Slaats, Tijs1, Düdder, Boris1, Troels Hildebrandt, Thomas1, Van Cutsem, Tom2, tom.vancutsem@kuleuven.be
Source: Journal of Software: Evolution & Process; Jan2025, Vol. 37 Issue 1, p1-22, 22p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:20477473
DOI:10.1002/smr.2730