What mbeddr version supports NuSMV

[Alexandre Braganca]

Hello everyone.

I am having trouble to replicate the video explaining how to verify state machines with NuSMV. In the video it seems that mbeddr should have two options to verify statmachines: cbmc and nusmv.  

I experimented with several versions of mbeddr and I only see options for "checking" state machines with cbmc.

Do I have to use the project mbeddr.formal for NuSMV? 

Any help on that would be greatly appreciated.