Book
Open access
Sep 2026
A Design-Stage Diagnostic Tool for Tokenized Collaborative Economies
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