NuSMV Tools

New Project Provides Tools for NuSMV Model Checker

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.

Jessica Thornsby

What do you think?

JAX Magazine - 2014 - 03 Exclucively for iPad users JAX Magazine on Android

Comments

Latest opinions