Page 1 of 1

Create your own Code Generation Set

PostPosted: Fri Jul 19, 2019 1:11 am
by Weilkiti
Hi,

I would like to create a new code generation set to create code for NuSMV (http://nusmv.fbk.eu/NuSMV/download/getting-v2.html). I could not find an appropriate menu entry nor something in the documentation.

Is it possible to create your own code generation sets in MD?

Best regards,
Tim