Actions
Task #10133
openuse '-coi' model checker option
Start date:
02/22/2020
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Published in build:
Description
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.
No data to display
Actions