Release NuSMV verification plugin

[GoogleCodeExporter]

What new or enhanced feature are you proposing?
Create a user interface for NuSMV verification, and package and release it as a 
separate feature on the update site.

What goal would this enhancement help you achieve?
The NuSMV model verification technique allows for the behavioural analysis of a 
web application, and is discussed in further detail in the thesis. By making it 
a separate feature, verification can occur independently of the development of 
a RIA model instance.

Original issue reported on code.google.com by soundasleep on 1 Apr 2011 at 2:21

• Blocking: #232
• Blocked on: #234

[GoogleCodeExporter]

Original comment by soundasleep on 1 Apr 2011 at 2:23

[GoogleCodeExporter]

Original comment by soundasleep on 1 Apr 2011 at 2:24

[GoogleCodeExporter]

Resolved in r3133; NuSMV is now available through the update site.

Original comment by soundasleep on 26 Sep 2011 at 9:40

• Changed state: Fixed