In the Machine-to-Everything (M2X) economy, machines, organizations, and people transact autonomously across organizational boundaries. Smart contracts, which are programs that execute the terms of an agreement on a blockchain, are central to this vision because they provide the transparency and security that such coor...
Sowelu Avanzo, V. Dwivedi, Alex Norta et al.· Proceedings of the 2026 Inte...· 0 citations
A formal verification tool that embeds the failure-mode conditions natively, making it suitable for non-technical stakeholders, and it is specifically tailored to social and collaborative token economies, which is specifically tailored to social and collaborative token economies.
Irene Domenicale, Sowelu Avanzo, Claudio Schifanella· Proceedings of the 2026 Inte...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.