unbounded symbolic model

CAV
2003
Springer

153views Hardware» more CAV 2003»

Interpolation and SAT-Based Model Checking

13 years 9 months ago

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...

Kenneth L. McMillan

claim paper

Read More »

click to vote

DAC
2003
ACM

123views Computer Architecture» more DAC 2003»

SAT-based unbounded symbolic model checking

14 years 5 months ago

Download ics.kaist.ac.kr

Hyeong-Ju Kang, In-Cheol Park

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers