Searching for "Abstraction for Falsification." – 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.

Abstraction for falsification
by Thomas Ball, Orna Kupferman, Greta Yorsh — 2005 — In Proceedings of Computer Aided Verification (CAV 2005), volume 3576 of LNCS
…Abstraction for Falsification Thomas Ball 1 , Orna Kupferman 2 , and Greta Yorsh 3 1 Microsoft…
Cited by 9 (1 self) – Add To MetaCart

. Modeling with the UML
by Notations Enable Us
… the definition of systems, models, types, and instances, abstraction, and falsification. Sections 2.4.1 to 2…
Add To MetaCart

Showing 1 through 2.

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