use '-coi' model checker option
Detected in build:
Published in build:
The NuSMV model checker has the followingcommand line option:
-coi enables cone of influence reduction
and so does nuXmv. This option can help in SMV model checking.
Try to enable it in our configuration scripts for NuSMV\nuXmv and check the results.