Project

General

Profile

To do #10434

Automatically detect the bound in HiFrog for the sake of completeness

Added by Sepideh Asadi 4 months ago.

Status:
New
Priority:
Normal
Assignee:
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.

Also available in: Atom PDF