Symbolic state traversal for WCET analysis

Stephan Wilhelm, Björn Wachter. Symbolic state traversal for WCET analysis. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 137-146, ACM, 2009. [doi]

Abstract

Abstract is missing.