Sign Up to like & get
recommendations!
0
Published in 2025 at "Software and Systems Modeling"
DOI: 10.1007/s10270-024-01260-3
Abstract: Despite the increasing interest in blockchain and smart contracts, their inherent complexity has impeded widespread adoption. In order to mitigate this issue, this work introduces SmaC, a model-based framework for the development of smart contracts…
read more here.
Keywords:
paradigm harness;
modeling paradigm;
contracts modeling;
harness potential ... See more keywords