Searching for "Extending Model Checking with Dynamic Analysis." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Extending Model Checking with Dynamic Analysis
by Alex Groce, Rajeev Joshi
…Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable…
Cited by 3 (2 self) – Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
… Alex Groce and Rajeev Joshi. Extending Model Checking with Dynamic Analysis. Conference on Verification…
Add To MetaCart

Experience
by Alex David Groce
… and Systems, Claremont, CA, February 2, 2008. “Extending Model Checking with Dynamic Analysis,” Verification…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB