RuleBase: Model Checking at IBM

Abstract

RuleBase is a symbolic model checking tool, developed by the IBM Haifa Research Laboratory. It is the result of four years of experience in practical formal verification of hardware which, we believe, has been a key factor in bringing the tool to its current level of maturity. Our experience shows that after a short training period, designers can operate the tool independently and achieve impressive results. We present the tool and summarize our development and usage experience, focusing on some work done during 1996.

DOI: 10.1007/3-540-63166-6_53

Extracted Key Phrases

Cite this paper

@inproceedings{Beer1997RuleBaseMC, title={RuleBase: Model Checking at IBM}, author={Ilan Beer and Shoham Ben-David and Cindy Eisner and Daniel Geist and Leonid Gluhovsky and Tamir Heyman and Avner Landver and P. Paanah and Yoav Rodeh and G. Ronin and Yaron Wolfsthal}, booktitle={CAV}, year={1997} }