nuseen

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...
Solution Description

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

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: Monday, February 9, 2015 - 06:56

License: EPL

Date Updated: Wednesday, December 14, 2022 - 09:48

Submitted by: Angelo Gargantini

Date Ranking Installs Clickthroughs
March 2024 0/0 0 7
February 2024 0/0 0 10
January 2024 629/691 2 14
December 2023 586/671 3 4
November 2023 627/686 2 6
October 2023 0/0 0 6
September 2023 0/0 0 4
August 2023 600/673 2 5
July 2023 0/0 0 4
June 2023 626/669 1 1
May 2023 587/671 3 10
April 2023 621/667 2 2
View Data for all Listings

Unsuccessful Installs

Unsuccessful Installs in the last 7 Days: 0

Download last 500 errors (CSV)

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:

Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client