To do #10434
Automatically detect the bound in HiFrog for the sake of completeness
Start date:
29/03/2019
Due date:
% Done:
0%
Estimated time:
Description
Developing a preprocessing mechanism to detect the necessary depth of unrolling the program.(completeness threshold)
Then we can claim on verification of those instances, not just falsification.