Project

General

Profile

Task #10133

use '-coi' model checker option

Added by Sergey Smolov 6 months ago.

Status:
New
Priority:
Normal
Category:
Engine (Launcher)
Target version:
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.

Also available in: Atom PDF