Skip to content

Add learned invariants to IC3 #43

New issue
New issue
Open
Open
Add learned invariants to IC3#43
Assignees
dddejan
Labels
enhancement
Milestone
Abstract interpretation in Sally
@dddejan

Description

@dddejan
dddejan
opened on Mar 6, 2017

Invariants learned from abstract interpretation should be used in the IC3 engine.

Metadata

Metadata

Assignees

Labels

enhancement

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions