Add this URL to your Eclipse Installation to reach this solution's update site.
Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical elements like buttons, menu, text highlighting, and so on. It features:
A language defined by a grammar (concrete syntax) and provided with metamodel (abstract syntax)
An editor that can be used to write NuSMV models and provides an useful feedback like syntax highlighting, autocompletion, and outline.
A way to execute the NuSMV model checker inside eclipse.
An integrated version of the model advisor which can be executed in eclipse.
Unsuccessful Installs in the last 7 Days: 2
By adding the following code below to your website you will be able to add an install button for nuseen.HTML Code:
Back to the top