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: Monday, February 9, 2015 - 06:56
License: EPL
Date Updated: Wednesday, December 14, 2022 - 09:48
Submitted by: Angelo Gargantini
| Date | Ranking | Installs | Clickthroughs |
|---|---|---|---|
| June 2025 | 0/0 | 0 | 12 |
| May 2025 | 605/634 | 1 | 12 |
| April 2025 | 0/0 | 0 | 8 |
| March 2025 | 559/661 | 3 | 6 |
| February 2025 | 608/645 | 1 | 16 |
| January 2025 | 0/0 | 0 | 6 |
| December 2024 | 620/654 | 1 | 7 |
| November 2024 | 0/0 | 0 | 6 |
| October 2024 | 0/0 | 0 | 7 |
| September 2024 | 497/642 | 6 | 16 |
| August 2024 | 0/0 | 0 | 17 |
| July 2024 | 0/0 | 0 | 8 |
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:
