This is a bug-fix release. Visit the download page to get the tarball.
Recent Forum Topics
A new version of IImc is available on the download page. The major addition to IImc 1.1 is the new CTL model checking engine from the CAV’12 paper: ”Incremental Inductive CTL Model Checking” by Z. Hassan, A. R. Bradley, and F. Somenzi.
Additions in Release 1.1:
IImc 1.1 has been compiled with
clang++ 3.0, and has been tested on Ubuntu 12.04 and 12.10, Red Hat Enterprise 6.3, and Cygwin 1.7.