AGILE WEEK ON JAXENTER: Tune in all week for interviews and commentaries on the state of Agile.
NuSMV Tools

New Project Provides Tools for NuSMV Model Checker

Jessica Thornsby

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 language.

Author
Comments
comments powered by Disqus