Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 1997, pp:480-483 [Conf]
   
2. Ilan Beer, Shoham Ben-David, Avner Landver
   On-the-Fly Model Checking of RCTL Formulas. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:184-194 [Conf]
   
3. Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver
   RuleBase: An Industry-Oriented Formal Verification Tool. [Citation Graph (0, 0)][DBLP]
   DAC, 1996, pp:655-660 [Conf]
   
4. Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
   Coverage-Directed Test Generation Using Symbolic Techniques. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:143-158 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   TACAS, 2002, pp:296-211 [Conf]
   
6. Avner Landver
   Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:3, pp:1086-1107 [Journal]
   
7. Avner Landver
   Singular sigma-Dense Trees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1403-1416 [Journal]