MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "What Went Wrong Explaining Counterexamples." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

What Went Wrong: Explaining Counterexamples
by Alex Groce, Willem Visser — 2003 — In SPIN Workshop on Model Checking of Software
…What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department…
Cited by 58 (9 self) – Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
… Groce and Willem Visser. What Went Wrong: Explaining Counterexamples. Technical Report 02-08, RIACS…
Add To MetaCart

Experience
by Alex David Groce
…’Aquila, Italy, October 2003. Alex Groce and Willem Visser. What Went Wrong: Explaining Counterexamples. SPIN…
Add To MetaCart

ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
by David R. Cok, Joseph R. Kiniry — 2004 — In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
… went wrong: Explaining counterexamples. In T. Ball and S. Rajamani, editors, Proceedings of SPIN 2003…
Cited by 36 (6 self) – Add To MetaCart

unknown title
by Alex Groce, Willem Visser
… What Went Wrong: Explaining Counterexamples Alex Groce 1 and Willem Visser 2 1 Department…
Add To MetaCart

Showing 1 through 5.

ATOM

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