Publications

3 results for Avner Landver

RuleBase: An industry-oriented formal verification tool
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 1996
- DAC 1996
Conference paper
Establishing PCI compliance using formal verification: A case study
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 1995
- Phoenix IPCCC 1995
Conference paper
Reflection and weakly collectionwise hausdorff spaces
- - Tim Laberge
  - Avner Landver
- 1994
- Proceedings of the American Mathematical Society
Paper