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