Project

General

Profile

Feature #2426

[Analysis] nuXmv support

Added by Anonymous about 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
09/09/2015
Due date:
% Done:

90%

Estimated time:

Description

Use nuXmv instead of NuSMV when available.

CheckerResults.png (11 KB) CheckerResults.png Checker results Anonymous, 10/05/2015 03:30 PM

History

#1 Updated by Anonymous about 5 years ago

  • Assignee changed from Anonymous to Anonymous

#2 Updated by Anonymous about 5 years ago

http://af3.fortiss.org/download/ install description for NuXMV is missing.

#3 Updated by Anonymous about 5 years ago

Write NuSMV/NuXmv at all places, for example, when opening a contract that is saved at a component.

#4 Updated by Anonymous about 5 years ago

When you consider the atached checker result as a success, then NuXMV is running. I consider it strange. Maybe I misused the checker.
Additional remark: We found out that the models are corrupt.

#5 Updated by Anonymous about 5 years ago

  • Assignee changed from Anonymous to Anonymous

I performed smoke tests, not detailed tests whether the model checker works correctly.

#6 Updated by Georgeta Igna about 5 years ago

  • Assignee changed from Anonymous to Georgeta Igna

I also tested nuXmv, under MAC OX, for finding unreachable states of state automata, and it works fine.

#7 Updated by Georgeta Igna about 5 years ago

  • Status changed from Resolved to Closed
  • Assignee changed from Georgeta Igna to Anonymous

#8 Updated by Anonymous about 5 years ago

  • Status changed from Closed to In Progress
  • % Done changed from 100 to 90

remains to add instructions on the website

#9 Updated by Anonymous almost 5 years ago

  • Target version changed from AF3 2.9 RC1 (Features frozen) to AF3 2.9 Release

since only documentation is missing, I move to the last period of the release

#10 Updated by Anonymous over 4 years ago

  • Status changed from In Progress to Closed

#11 Updated by Anonymous over 4 years ago

  • Target version changed from AF3 2.9 Release to AF3 2.9 RC1 (Features frozen)

Also available in: Atom PDF