The aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.
blockchain
university-project
nusmv
italian-language
italian-developers
rombo
trudamul
framework-simulation
-
Updated
Nov 13, 2022 - TeX