nuseen

In an effort to better protect the Eclipse Marketplace users, we will begin to enforce the use of HTTPS for all contents linked by the Eclipse Marketplace on October 14th, 2022. The Eclipse Marketplace does not host the content of the provided solutions, it only provides links to them. We are actively working with owners of existing solutions with plain HTTP entries to fix them. Beginning December 15th, non-compliant solutions will be unpublished from the Eclipse Marketplace. You can follow this effort on the tracking issue for more details.

Install

Add this URL to your Eclipse Installation to reach this solution's update site.

Photon (4.8)
Oxygen (4.7)
Neon (4.6)
Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
2018-09 (4.9)

http://svn.code.sf.net/p/nuseen/code/trunk/updatesite/

Learn more...

Details Group Tabs

Details

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.

Categories:

Modeling Tools

Tags:

Additional Details

Eclipse Versions:

Photon (4.8), Oxygen (4.7), Neon (4.6), Mars (4.5), Luna (4.4), Kepler (4.3), Juno (4.2, 3.8), Previous to Juno (<=4.1), 2018-09 (4.9)

Platform Support:

Windows, Mac, Linux/GTK

Organization Name:

FMSE Lab UniMI and UniBG

Date Created:

Mon, 2015-02-09 06:56

License:

EPL

Date Updated:

Mon, 2019-02-04 13:57

Submitted by:

Angelo Gargantini

Metrics

Date	Ranking	Installs	Clickthroughs
December 2022	398/671	6 (0.01%)	0
November 2022	733/808	2 (0%)	8
October 2022	809/811	1 (0%)	7
September 2022	745/812	2 (0%)	4
August 2022	782/808	1 (0%)	5
July 2022	705/816	3 (0%)	5
June 2022	750/810	2 (0%)	4
May 2022	NA	0 (0%)	13
April 2022	665/817	4 (0%)	7
March 2022	812/820	1 (0%)	6
February 2022	705/819	2 (0%)	4
January 2022	685/817	4 (0%)	4
December 2021	NA	5	4

View Data for all Listings

Errors

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

External Install Button

Marketplace Drag to Install button

By adding the following code below to your website you will be able to add an install button for nuseen .

HTML Code:

Markdown Syntax:

Output:

Monday, December 5, 2022 - 14:00

nuseen

Drag to Install!

Photon (4.8)Oxygen (4.7)Neon (4.6)Mars (4.5)Luna (4.4)Kepler (4.3)Juno (4.2, 3.8)Previous to Juno (<=4.1)2018-09 (4.9)

Details Group Tabs

Marketplace Drag to Install button

Photon (4.8)
Oxygen (4.7)
Neon (4.6)
Mars (4.5)
Luna (4.4)
Kepler (4.3)
Juno (4.2, 3.8)
Previous to Juno (<=4.1)
2018-09 (4.9)