A hybrid verification approach: getting deep into the design

doi:10.1145/513918.513948

A hybrid verification approach: getting deep into the design

Full Text:

PDF

Buy this Article

Authors:	Scott Hazelhurst	University of the Witwatersrand, Johannesburg, South Africa
	Osnat Weissberg	Intel Corporation, Haifa, Israel
	Gila Kamhi	Intel Corporation, Haifa, Israel
	Limor Fix	Intel Corporation, Haifa, Israel

	2002 Article
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 18 · Downloads (cumulative): 351 · Citation Count: 12

Published in:

	· Proceeding
	DAC '02 Proceedings of the 39th annual Design Automation Conference
	Pages 111-116 ACM New York, NY, USA ©2002 table of contents ISBN:1-58113-461-4 doi>10.1145/513918.513948

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref
Upcoming Conference:
- DAC '13

Share:

|

Tags: hybrid verification mechanical verification symbolic model checking symbolic trajectory evaluation theory verification verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder