Bernard Schmidt, Carlos Villarraga, Jörg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz. A computational model for SAT-based verification of hardware-dependent low-level embedded system software. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 711-716, IEEE, 2013. [doi]
Abstract is missing.