IC3: Inter-Component Communication Analysis with COAL

For instructions, see http://siis.cse.psu.edu/ic3/.