Category Archives: Uncategorized

IImc 1.2 Released

Posted on January 5, 2013 by Zyad Hassan

This is a bug-fix release. Visit the download page to get the tarball.

Posted in Uncategorized | 2 Comments

IImc 1.1 is now available

Posted on December 14, 2012 by Zyad Hassan

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. … Continue reading →

Posted in Uncategorized | Leave a comment

IImc 1.0 is here!

Posted on February 14, 2012 by fabio

Welcome to IImc. The first release is ready on the download page!

Posted in Uncategorized | Leave a comment