Avner Landver

Publication Activity (10 Years)

Years Active: 1992-2006
Publications (10 Years): 0

Publications

Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley
Panel: Assertion-Based Verification -What's the Big Deal? HLDVT (2006)
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
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)
Ilan Beer, Shoham Ben-David, Avner Landver
On-the-Fly Model Checking of RCTL Formulas. CAV (1998)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
RuleBase: Model Checking at IBM. CAV (1997)
Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD (1996)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver
RuleBase: An Industry-Oriented Formal Verification Tool. DAC (1996)
Avner Landver
Singular sigma-Dense Trees. J. Symb. Log. 57 (4) (1992)
Avner Landver
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. J. Symb. Log. 57 (3) (1992)