days
-4
-6
hours
0
-2
minutes
-4
-9
seconds
-2
-5
search
JAX Developers Puzzle deadline approaching: Play for a chance to win a complimentary JAX London 2018 ticket!
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

Leave a Reply

Be the First to Comment!

avatar
400
  Subscribe  
Notify of