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…