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.
May 13 – 14, 2019 | London
Building Reliable Systems
Reactive and Asynchronous Java: Apply the latest concurrency techniques to Java appsMay 16 – 17, 2019 | London
Upgrade your SQL skills to the next level
Building microservices
