IImc http://ecee.colorado.edu/wpmu/iimc Incremental, inductive verification Sat, 05 Jan 2013 08:02:39 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 IImc 1.2 Released http://ecee.colorado.edu/wpmu/iimc/2013/01/05/iimc-1-2-released/ http://ecee.colorado.edu/wpmu/iimc/2013/01/05/iimc-1-2-released/#comments Sat, 05 Jan 2013 08:01:17 +0000 Zyad Hassan http://ecee.colorado.edu/wpmu/iimc/?p=160 This is a bug-fix release. Visit the download page to get the tarball.

]]> http://ecee.colorado.edu/wpmu/iimc/2013/01/05/iimc-1-2-released/feed/ 2 IImc 1.1 is now available http://ecee.colorado.edu/wpmu/iimc/2012/12/14/iimc-1-1-is-now-available/ http://ecee.colorado.edu/wpmu/iimc/2012/12/14/iimc-1-1-is-now-available/#comments Sat, 15 Dec 2012 00:23:26 +0000 Zyad Hassan http://ecee.colorado.edu/wpmu/iimc/?p=143 Continue reading →]]> 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:

  • A new engine, IICTL, which is a new “IC3-like” model checking engine for CTL properties with fairness constraints
  • A new BMC engine for fair-cycle detection
  • Slightly improved performance for some of the model checking engines
  • A few bug fixes

IImc 1.1 has been compiled with g++ 4.4.6, 4.5.3, 4.6.3, 4.7.2, and clang++ 3.0, and has been tested on Ubuntu 12.04 and 12.10, Red Hat Enterprise 6.3, and Cygwin 1.7.

]]> http://ecee.colorado.edu/wpmu/iimc/2012/12/14/iimc-1-1-is-now-available/feed/ 0 IImc 1.0 is here! http://ecee.colorado.edu/wpmu/iimc/2012/02/14/hello-world/ http://ecee.colorado.edu/wpmu/iimc/2012/02/14/hello-world/#comments Tue, 14 Feb 2012 05:26:34 +0000 fabio http://ecee.colorado.edu/wpmu/iimc/?p=1 Welcome to IImc. The first release is ready on the download page!

]]> http://ecee.colorado.edu/wpmu/iimc/2012/02/14/hello-world/feed/ 0