Graded-CTL NuSMV

To download and install Graded-CTL NuSMV on your machine, please execute the following steps.

1. Download NuSMV source code from NuSMV home page.
2. Unpack the downloaded file. This will create a directory (for example NuSMV-2.4.3) where all the files have been unpacked.
3. Download our package gctl-1.1.tgz.
   • Old versions of gctl
   gctl 1.0
4. Move the gctl-1.1.tgz file into the newly created directory.
5. Unpack the gctl-1.1.tgz file (under Linux/Unix, with the command tar -xzf gctl-1.1.tgz).
6. Execute the installation steps as described in the enclosed README file.