Searching for "Configurable Software Verification Concretizing the Convergence of Model Checking and Program Analysis." – 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.

Configurable software verification: Concretizing the convergence of model checking and program
by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz — 2007 — In Conf. on Computer Aided Verification (CAV
…Configurable Software Verification: Concretizing the Convergence of Model Checking and Program…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 1.

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