My favorites | Sign in
Project Home Downloads Wiki Issues Source
Project Information
Members
Featured
Downloads
Links

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:

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.

Powered by Google Project Hosting