https://github.com/r0mb0/trudamul_framework_simulations

The aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.

blockchain framework-simulation italian-developers italian-language nusmv r0mb0 trudamul university-project

Last synced: 19 Mar 2026