Download Latest Version benchmarks.tar.gz (5.8 kB) Google Add to Preferred Sources
Home
Name Modified Size InfoDownloads / Week
files 2013-01-15
0
README 2013-02-08 569 Bytes
0
NuSMV_with_CePRe.tar.gz 2013-01-15 6.1 MB
0
Totals: 3 Items   6.1 MB 0 
Welcome downloading NuSMV 2.5.3 with CePRe! To compile it ,following these steps:
1. cd zchaff dir, run "./build.sh"
2. cd cudd dir, run "make"
3. cd nusmv dir, run "./configure --enable-zchaff", and then "make"


After these steps, you should have get a NuSMV binary file in "nusmv" directory. Run it with 
-cepre lv(lv should be a number bigger than 0) to support LTL reduction using 
counterexample-preserving reduction.

Since it's a prototype, there may be some bugs. Any suggestions or bug reports are appropriated :)
To contact us, mail to <nudtwr@gmail.com>
Source: README, updated 2013-02-08