Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi. Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. In 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. pages 129-135, IEEE Computer Society, 2004. [doi]
Abstract is missing.