MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Avner Landver" – 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

On-The-Fly Model Checking of RCTL Formulas
by Ilan Beer, Shoham Ben-david, Avner Landver, Avner L — 1998 — In Proc. 10 th International Conference on Computer Aided Verification (CAV’98), LNCS 1427
…On-The-Fly Model Checking of RCTL Formulas Ilan Beer, Shoham Ben-David, Avner Landver IBM Science…
Cited by 34 (13 self) – Add To MetaCart

RuleBase: an Industry-Oriented Formal Verification Tool
by Ilan Beer, Shoham Ben-david, Cindy Eisner, Avner Landver, Avner L — 1996 — In 33rd Design Automation Conference
… and Avner Landver IBM Haifa Research Laboratory, Haifa, Israel {beer,shoham,cindye,landver…
Cited by 58 (10 self) – Add To MetaCart

Formal Verification of a Processor's Bus Interface Unit
by Daniel Geist, Avner Landver, Avner L, Bruce W. Singer
… of a Processor's Bus Interface Unit Daniel Geist, Avner Landver VLSI Design Automation Haifa Research…
Cited by 1 (0 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
…Coverage-Directed Test Generation Using Symbolic Techniques Daniel Geist Monica Farkas Avner…
Add To MetaCart

The ForSpec Temporal Logic: A New Temporal Property-Specification Language
by Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar — 2001
… , Limor Fix 1 , Alon Flaisher 1 , Rob Gerth 2 , Boris Ginsburg, Tomer Kanza 1 , Avner Landver 1…
Cited by 52 (17 self) – Add To MetaCart

Showing 1 through 5.

ATOM

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