Recent Forum Topics
Category Archives: Uncategorized
This is a bug-fix release. Visit the download page to get the tarball.
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
Welcome to IImc. The first release is ready on the download page!