About

IImc stands for Incremental Inductive Model Checker. IImc is developed by the MC@CU group at CU Boulder.

This site provides access to downloads and a forum to discuss all matters related to IImc.

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>