Project

General

Profile

Actions
Copy link

To do #10434

open

Automatically detect the bound in HiFrog for the sake of completeness

Added by Sepideh Asadi over 5 years ago.

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

No data to display

Actions
Copy link

Also available in: Atom PDF