Searching for "Applications of Craig Interpolants in Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Applications of Craig interpolants in model checking
by K. L. Mcmillan — 2005 — In TACAS’2005: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 3440
…Applications of Craig Interpolants in Model Checking K. L. McMillan Cadence Berkeley Labs Abstract…
Cited by 13 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB