Avner Landver

According to our database, Avner Landver authored at least 8 papers between 1992 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Panel: Assertion-Based Verification -What's the Big Deal?

Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2002

The ForSpec Temporal Logic: A New Temporal Property-Specification Language.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

1998

On-the-Fly Model Checking of RCTL Formulas.

Ilan Beer, Shoham Ben-David, Avner Landver

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

RuleBase: Model Checking at IBM.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Coverage-Directed Test Generation Using Symbolic Techniques.

Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

RuleBase: An Industry-Oriented Formal Verification Tool.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver

Proceedings of the 33st Conference on Design Automation, 1996

1992

Singular sigma-Dense Trees.

Avner Landver

J. Symb. Log., 1992

Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing.

Avner Landver

J. Symb. Log., 1992