extended nusmv

We have hosted the application extended nusmv in order to run this application in our online workstations with Wine or directly.

Quick description about extended nusmv:

An extend version of NuSMV, which supports symbolic model checking of ETL and APSL.

Audience: Science/Research.
User interface: Command-line.

Categories: