New Project Provides Tools for NuSMV Model Checker
NuSMV Tools project will consist of two EMF-based models, a model analyser and an OSGi bundle.
NuSMV Tools is a new project, that provides a set of
tools for the model checker NuSMV.
It is planned that the project will soon consist of two
metamodels based on the Eclipse Modeling Framework Project, a model
analyser, and an OSGi bundle containing a Java API, which will
allow the embedding of NuSMV in Java applications. It will also
feature a NuSMV input language, and NuSMV counterexample