NuSMV Tools 0.0.1

1  
0

Drag to Install!

Drag to your running Eclipse Indigo workspace.

Embed this button on your website

Add this URL to your Eclipse Installation to reach this Solution's Update Site.
More Info


Categories:

Login or register to tag items

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 counterexample language
  • Based on the input language metamodel, a rich Eclipse based editor for the NuSMV input language based on Xtext
    • A model analyzier
    • An OSGi bundle containing a Java API to the NuSMV model checker itself, which allows to embed NuSMV in any Java application

Additional Details

  • Version Number: 0.0.1
  • Eclipse Versions: 3.6
  • Organization: Various
  • Date Created: 06/09/2010
  • Date Updated: 30/08/2011
  • Development Status: Alpha
  • License: EPL
  • Submitted by: Siamak Haschemi
  • This listing has been installed 5 times in the last 30 days.

Reviews

Add a Review