Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi

Browse the full ISORC paper archive.