Model Checking at IBM

  title={Model Checking at IBM},
  author={Shoham Ben-David and Cindy Eisner and Daniel Geist and Yaron Wolfsthal},
  journal={Formal Methods in System Design},
Over the past nine years, the Formal Methods Group at the IBM Haifa Research Laboratory has made steady progress in developing tools and techniques that make the power of model checking accessible to the community of hardware designers and verification engineers, to the point where it has become an integral part of the design cycle of many teams. We discuss our approach to the problem of integrating formal methods into an industrial design cycle, and point out those techniques which we have… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS