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:

People

Papers

Arcaini, Paolo, Gargantini, Angelo, and Vavassori, Paolo
NuSeen: an eclipse-based environment for the NuSMV model checker
in Eclipse-IT 2013 - VIII Workshop della Comunita' 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 EngineeringSpringer London, vol. 7 (2011): 97-107
[abstract] [download the pdf file] [DOI]

How to install

Use the following eclipse update site:

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

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