CoVerCIG Information, source code and experimental results of CoVerCIG CoVerCIG Framework Experimental results for CoVerCIG The results associated with the four research-questions can be obtained here: RQ1 & RQ2: For k-induction as master For predicate abstraction as master RQ3: For k-induction as master For predicate abstraction as master RQ4: For k-induction as master For predicate abstraction as master