sally icon indicating copy to clipboard operation
sally copied to clipboard

Published 20 hours ago • verified publisher icon SRI-CSL

Add learned invariants to IC3

Open dddejan opened this issue 8 years ago • 0 comments
trafficstars

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

dddejan avatar Mar 06 '17 16:03 dddejan