Project

General

Profile

Actions
Copy link

Task #10133

open

use '-coi' model checker option

Added by Sergey Smolov over 4 years ago.

Status:
New
Priority:
Normal
Assignee:
Mikhail Lebedev
Category:
Engine (Launcher)
Target version:
1.1
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
Copy link

Also available in: Atom PDF