Optimization techniques for Craig interpolant compaction in unbounded model checking

From MaRDI portal
Publication:888467

DOI10.1007/s10703-015-0229-0zbMath1341.68117OpenAlexW2027979159MaRDI QIDQ888467

Danilo Vendraminetto, Carmelo Loiacono, Gianpiero Cabodi

Publication date: 30 October 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-015-0229-0




Related Items (3)


Uses Software


Cites Work




This page was built for publication: Optimization techniques for Craig interpolant compaction in unbounded model checking