Searching for authors named "Yaron Wolfsthal" – sorted by Relevance.

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

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

7 documents found, showing 1 through 7.

PathFinder: A Tool for Design Exploration
by Shoham Ben-david, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal — 2002 — In: Computer-Aided Verification, CAV ’2002. Volume 2404 of Lecture Notes in Computer Science
…PathFinder: A Tool for Design Exploration Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron…
Cited by 1 (0 self) – Add To MetaCart

Coverability Analysis Using Symbolic Model Checking
by Gil Ratzaby, Shmuel Ur, Yaron Wolfsthal — 2001 — IN CONF. ON CORRECT HARDWARE DESIGN AND VERIFICATION METHODS (CHARME), LNCS 2144
…Coverability Analysis Using Symbolic Model Checking CHARME 2001 Gil Ratzaby, Shmuel Ur, Yaron…
Cited by 2 (1 self) – Add To MetaCart

An Algorithmic Approach to Design Exploration
by Sharon Barner, Shoham Ben-david, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal — 2002 — Proc. International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right (FME’02), 2002
…, Baruch Sterin, Yaron Wolfsthal IBM Research Laboratory in Haifa Abstract. In recent years, the technique…
Cited by 3 (0 self) – Add To MetaCart

Style Control in the Quill Document Editing System
by Yaron Wolfsthal, The Quill Document Editing — 1991
… Scientific the Quill Document Editing System YARON WOLFSTHAL* Center, 1530 Page Mill Road, CA 94304, U…
Cited by 2 (0 self) – Add To MetaCart

FoCs - Automatic Generation of Simulation Checkers from Formal Specifications
by Yael Abarbanel, Ilan Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal — 2000
… Beer, Leonid Gluhovsky, Sharon Keidar, Yaron Wolfsthal fyaell…
Cited by 33 (2 self) – Add To MetaCart

Coverage-Directed Test Generation Using Symbolic Techniques
by Daniel Geist Monica, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal — 1996 — In Proceedings of the Int'l Conference on Formal Methods in CAD
… Landver Yossi Lichtenstein Shmuel Ur and Yaron Wolfsthal IBM Science and Technology, Haifa Research Lab…
Add To MetaCart

On the Effective Deployment of Functional Formal Verification
by Yael Abarbanel-vinov, Neta Aizenbud-reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-haham — 2001 — In Proc. 7th International SPIN Workshop, LNCS 1885
… Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham IBM Haifa Research Laboratory Matam Advanced Technology…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 7.

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