CAV
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
DAC
2003
ACM
15 years 15 days ago
2003
ACM
