Thomas Reinbacher, Martin Horauer, Bastian Schlich. Using 3-valued memory representation for state space reduction in embedded assembly code model checking. In Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic. pages 114-119, IEEE Computer Society, 2009. [doi]
Abstract is missing.