CoVEGI

Information, source code and experimental results of covegi

covegi Framework

Experimental results for CoVEGI

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

Further information

In the paper, we state that the best value for timerM is 50 seconds. The results validating that claim can be found here:

• For k-induction as master
• For predicate abstraction as master