RuleBase: an industry-oriented formal verification tool
Ilan Beer, S. Ben-David, Cindy Eisner, Avner Landver · 2005
RuleBase is a formal verification tool, developed by the IBM Haifa Research Laboratory. It is the result of three 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. We present the tool, including several unique features, and summarize our usage experience.