Project

General

Profile

To do #7861

A minimal necessary unwinding bound

Added by Sepideh Asadi over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
07/09/2018
Due date:
% Done:

0%

Estimated time:

Description

A minimal necessary unwinding bound
A lazy enumeration of unrollings, it is something that CBMC is doing in SVCOMP.

Also available in: Atom PDF