Skip to content

New patch for NuSMV 2.5.4

by mcr on October 10th, 2012

We made our NuSMV extension compatible with the newest version of the famous model-checker. The patch and the installation instructions are foundĀ here.

From → News

Comments are closed.