The NuSMV3 tool, referred to in some research papers, has been dismissed. The features it implemented have been reorganized and implemented in three separated tools:

that are actively maintained.

We refer the user to the home pages of nuXmv, xSAP and OCRA which comprehensively cover all features provided by NuSMV3.

This page is no longer maintained.

Page last modified on January 21, 2017, at 12:59 PM