Searching for "Efficient Verification of Sequential and Concurrent C Programs." – 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.

Efficient Verification of Sequential and Concurrent C Programs
by Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav — 2003
…Ecient Verication of Sequential and Concurrent C Programs Sagar Chaki Edmund Clarke Alex Groce Jo…
Cited by 13 (8 self) – Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
…. Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design, Special…
Add To MetaCart

Experience
by Alex David Groce
…, Alex Groce, Joel Ouaknine, Ofer Strichman, and Karen Yorav. Efficient Verification of Sequential…
Add To MetaCart

Showing 1 through 3.

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