NuSMV Tools
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 project will consist of two EMF-based models, a model analyser and an OSGi bundle.