News

NEWS (04.04.2012): New p2-Repository location http://qyotta.de/files/p2-repositories/nusmv-tools/

NEWS (02.04.2012): Switched to Git-Repository, see Source section

NEWS: The nusmv-tools project is listed on the NuSMV Homepage

Overview

This project provides a set of tools for the model checker NuSMV.

Following tools are contained, or will be contained in the near future:

• Two metamodels based on the Eclipse Modeling Framework Project (EMF)
• NuSMV input language
• NuSMV XML-counterexample language
• Based on the input language metamodel, a rich Eclipse based editor for the NuSMV input language based on Xtext
• A model analyzer called ModelAdvisor
• An OSGi bundle containig a Java API to the NuSMV model checker itself, which allows to embed NuSMV in any Java application

Installation

To install these tools, add the following Update Site to your Eclipse:

• http://qyotta.de/files/p2-repositories/nusmv-tools/
• You can find instructions in how to use that update site here

More easy, you can use the new Eclipse Marketplace Client

• You can find instructions here

• Or Drag and drop the following icon into a running Eclipse Indigo workspace to install NuSMV Tools:

Screencast

Here's a screencast which shows the features of the NuSMV editor. You can watch it also in HD.