r0mb0 / trudamul_framework_simulations Goto Github PK
View Code? Open in Web Editor NEWThe aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.
License: MIT License