IC3: Inter-Component Communication Analysis with COAL

May 7, 2015 · View on GitHub

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