Add this URL to your Eclipse Installation to reach this solution's update site.
This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Unsuccessful Installs in the last 7 Days: 0
By adding the following code below to your website you will be able to add an install button for NuSMV Tools.HTML Code:
Submitted by Angelo Gargantini on Thu, 2018-07-05 07:00
there is a successor of nusmv-tools, see http://nuseen.sourceforge.net/