![](/img/cover-not-exists.png)
Optimization techniques for craig interpolant compaction in unbounded model checking
Cabodi, Gianpiero, Loiacono, Carmelo, Vendraminetto, DaniloVolume:
46
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-015-0229-0
Date:
April, 2015
File:
PDF, 655 KB
english, 2015