Searching for "Accurate Theorem Proving for Program Verification." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Cogent: Accurate theorem proving for program verification
by Byron Cook, Daniel Kroening, Natasha Sharygina — 2005 — Proceedings of CAV 2005, volume 3576 of Lecture Notes in Computer Science
…Cogent: Accurate Theorem Proving for Program Verification Byron Cook 1 , Daniel Kroening 2…
Cited by 27 (10 self) – Add To MetaCart

Cogent: Accurate theorem proving for
by unknown authors
… Cogent: Accurate theorem proving for program verification Byron Cook Daniel Kroening Natasha…
Add To MetaCart

Showing 1 through 2.

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