Searching for "Automatic Abstraction Using Generalized 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.

Automatic Abstraction
by Using Generalized Model, Patrice Godefroid, Radha Jagadeesan — 2002 — In Computer-Aided Verification (CAV), LNCS 2404
…Automatic Abstraction Using Generalized Model Checking Patrice Godefroid 1 and Radha Jagadeesan…
Add To MetaCart

Showing 1 through 1.

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