Symbolic state traversal for WCET analysis

doi:10.1145/1629335.1629354

Symbolic state traversal for WCET analysis

Full Text:

Pdf

Buy this Article

Authors:	Stephan Wilhelm	AbsInt GmbH, Saarbrücken, Germany
	Björn Wachter	Saarland University, Saarbrücken, Germany

Published in:

	· Proceeding
	EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
	ACM New York, NY, USA ©2009 table of contents ISBN: 978-1-60558-627-4 doi>10.1145/1629335.1629354

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 36 · Citation Count: 0

Tools and Resources

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

Tags: abstract interpretation binary decision diagram hard real time processor models real-time and embedded systems reliability software/program verification verification worst-case execution time

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

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player