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.

(2013). NuSeen: an eclipse-based environment for the NuSMV model checker [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/30104

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

ARCAINI, Paolo;GARGANTINI, Angelo Michele;VAVASSORI, Paolo
2013-01-01

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.
2013
Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/30104
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact