Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
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…
cs.PL2026
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
Francisco Parrinha, João Mota, António Ravara
Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…