search

JAX Magazine August issue up for grabs: Learn more about Java’s next chapter and dive deeper into the DevOps universe. It's on us!

#eclipse modeling

NuSMV Tools

New Project Provides Tools for NuSMV Model Checker

#eclipse modeling #emf #java #nusmv #open source #osgi

NuSMV Tools project will consist of two EMF-based models, a model analyser and an OSGi bundle.