Skip to main content
  • Create account
  • Log in
Eclipse Plugins, Bundles and Products - Eclipse Marketplace
  • My Marketplace
  • Add Content
  • More
      • Community

      • Marketplace
      • Events
      • Planet Eclipse
      • Newsletter
      • Videos
      • Blogs
      • Participate

      • Report a Bug
      • Forums
      • Mailing Lists
      • Wiki
      • IRC
      • Research
      • Eclipse IDE

      • Download
      • Learn More
      • Documentation
      • Getting Started / Support
      • How to Contribute
      • IDE and Tools
      • Newcomer Forum
  1. Home
  2. Marketplace
  3. Tools (1292)
  4. nuseen

nuseen

nuseen
0
0
Install

Drag to Install!

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

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:
  • nusmv,
  • model checker,
  • Xtext,
  • nusmv ide
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
DateRankingInstallsClickthroughs
March 2021702/7891 (0%)1
February 2021783/9113 (0%)12
January 2021776/9304 (0%)10
December 2020849/9192 (0%)9
November 2020787/9254 (0%)11
October 2020809/9273 (0%)9
September 2020741/8944 (0%)9
August 2020699/8673 (0%)12
July 2020810/8701 (0%)5
June 2020862/8671 (0%)8
May 2020NA0 (0%)4
April 2020NA0 (0%)9
March 2020NA50
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: Drag to your running Eclipse* workspace. *Requires Eclipse Marketplace Client
Friday, March 5, 2021 - 19:32
  • Sign in to post reviews.

Markets

  • Eclipse Project (5)
  • Tools (1292)
    • Application Development Frameworks (156)
    • Application Management (27)
    • Application Server (37)
    • BIRT (10)
    • Build and Deploy (101)
    • Business Intelligence, Reporting and Charting (14)
    • Code Management (116)
    • Collaboration (36)
    • Database (46)
    • Database Development (33)
    • Database Persistence (17)
    • Documentation (59)
    • Eclipse Kura (63)
    • Eclipse SmartHome (46)
    • EclipseRT Target Platform Components (8)
    • Editor (332)
    • Entertainment (14)
    • General Purpose Tools (120)
    • Graphics (32)
    • IDE (329)
    • Internet of Things (IoT) (34)
    • J2EE Development Platform (42)
    • J2ME (6)
    • Languages (149)
    • Linux Tools (19)
    • Logging (22)
    • Mobile and Device Development (49)
    • Modeling (89)
    • Modeling Tools (141)
    • Mylyn Connectors (18)
    • Network (14)
    • Other (71)
    • Process (19)
    • Profiling (22)
    • Programming Languages (98)
    • Reporting (33)
    • Rich Client Applications (39)
    • Science (5)
    • SCM (18)
    • Search (40)
    • SOA Development (15)
    • Source Code Analyzer (96)
    • Systems Development (54)
    • Team Development (55)
    • Testing (87)
    • Tools (552)
    • UI (90)
    • UML (40)
    • Web (89)
    • Web Services (31)
    • Web, XML, Java EE and OSGi Enterprise Development (35)
    • XML (30)
  • IoT (113)
    • Eclipse Kura (63)
    • Eclipse SmartHome (46)
  • RCP Applications (79)
  • Training & Consulting (52)
  • Long Term Support (11)

Search

Advanced Search

More like this

  • NuSMV Tools
  • Eclipse Xtext
  • DSL Forge
  • pxDoc
  • Excalibur

Favorited by

Eclipse Foundation

  • About Us
  • Contact Us
  • Donate
  • Members
  • Governance
  • Code of Conduct
  • Logo and Artwork
  • Board of Directors

Legal

  • Publishing Guidelines
  • Privacy Policy
  • Terms of Use
  • Copyright Agent
  • Eclipse Public License
  • Legal Resources

Useful Links

  • Welcome to Marketplace
  • Report a Bug
  • Documentation
  • How to Contribute
  • Mailing Lists
  • Forums
  • Marketplace

Other

  • IDE and Tools
  • Projects
  • Working Groups
  • Research@Eclipse
  • Report a Vulnerability
  • Service Status

Copyright © Eclipse Foundation. All Rights Reserved.

Back to the top