Abstract
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 \emphlanguage
defined by a grammar (concrete syntax) and provided with metamodel (abstract syntax) An \empheditor that can be used to write
NuSMV models and provides an useful feedback like syntax highlighting, autocompletion, and outline. A way to \emphexecute
the NuSMV model checker inside eclipse. An integrated version of the model advisor which can be executed in eclipse.
[download the pdf file] [url]