Automatic Code and Test Generation of Smart Contracts from Coordination Models

Elvis Konjoh Selabi, Maurizio Murgia, António Ravara +1

We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, d…