NuSeen: an eclipse-based environment for the NuSMV model checker

NuSeen is an eclipse-based environment for 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) - using Xtext
• 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.
• new: a dependency decomposition technique that can be used for test generation.

People

• Paolo Arcaini
• Angelo Gargantini
• Elvinia Riccobene
• Paolo Vavassori
• Bruno Zambelli

Papers

Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Decomposition-Based Approach for Model-Based Test Generation
in IEEE Transactions on Software Engineering, 2017
[doi]

Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
NuSeen: a tool framework for the NuSMV model checker
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
[abstract] [download the pdf file]

Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Improving model-based test generation by model decomposition
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering BERGAMO, ITALY, August 30 - September 4 (2015)
[abstract] [download the pdf file]

Arcaini, Paolo, Gargantini, Angelo, and Vavassori, Paolo
NuSeen: an eclipse-based environment for the NuSMV model checker
in Eclipse-IT 2013 - VIII Workshop della Comunità Italiana di Eclipse (2013) ISBN 978-88-904388-4-4
[abstract] [download the pdf file] [url]

Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
A Model Advisor for NuSMV Specifications
in Innovations in Systems and Software Engineering, Springer London, vol. 7 (2011): 97-107
[abstract] [download the pdf file] [DOI]

How to install

1. Use the following eclipse update site and deselect the 'Group items by category':

   http://svn.code.sf.net/p/nuseen/code/trunk/updatesite/

2. Download and install NuSMV. Add NuSMV bin directory in your path (or select NuSMV program location in the run configuration dialog)

The sourceforge project can be found here: https://sourceforge.net/projects/nuseen/