Formal verification: is it real enough?

• Authors:

• Yaron Wolfsthal;Rebecca M. Gott

• Affiliations:

• IBM Haifa Research Laboratory, ISRAEL;IBM Systems and Technology Group, Poughkeepsie, NY

• Venue:
• Proceedings of the 42nd annual Design Automation Conference
• Year:
• 2005