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.
Cite
CITATION STYLE
Beer, I., Ben-David, S., Eisner, C., Geist, D., Gluhovsky, L., Heyman, T., … Wolfsthal, Y. (1997). Rulebase: Model checking at IBM. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1254, pp. 480–483). Springer Verlag. https://doi.org/10.1007/3-540-63166-6_53
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
