nuseen

Please be aware that some listings have been temporarily delisted from our marketplace in order to improve the security of the platform. We apologize for any inconvenience this may caused.

For more information on this matter, please visit #1.

If you are a listing owner and would like to have your listing(s) reinstated, please open a ticket at https://gitlab.eclipse.org/eclipsefdn/it/websites/marketplace.eclipse.org/-/issues.

Thank you for your understanding and cooperation.

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)

https://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:

Wed, 2022-12-14 09:48

Submitted by:

Angelo Gargantini

Metrics

Date	Ranking	Installs	Clickthroughs
March 2023	573/665	3 (0%)	3
February 2023	618/668	2 (0%)	16
January 2023	639/677	2 (0%)	7
December 2022	593/805	6 (0%)	17
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	NA	1	0

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:

Wednesday, March 22, 2023 - 22: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)