2 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.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…