/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.

Primary LanguageTeXMIT LicenseMIT

Stargazers