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 |
|---|---|---|---|
| October 2024 | 0/0 | 0 | 3 |
| September 2024 | 497/642 | 6 | 16 |
| August 2024 | 0/0 | 0 | 17 |
| July 2024 | 0/0 | 0 | 8 |
| June 2024 | 676/681 | 1 | 12 |
| May 2024 | 579/682 | 3 | 9 |
| April 2024 | 0/0 | 0 | 10 |
| March 2024 | 0/0 | 0 | 11 |
| February 2024 | 0/0 | 0 | 11 |
| January 2024 | 629/691 | 2 | 14 |
| December 2023 | 586/671 | 3 | 4 |
| November 2023 | 627/686 | 2 | 6 |
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:
