3 papers
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…
cs.LO2024
TRAC: a tool for data-aware coordination (with an application to smart contracts)
Joao Afonso, Elvis Konjoh Selabi, Maurizio Murgia +2
We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look l…