A computational model for SAT-based verification of hardware-dependent low-level embedded system software.

Bernard Schmidt, Carlos Villarraga, Jrg Bormann, Dominik Stoffel, Markus Wedler, Wolfgang Kunz

Browse the full ASPDAC paper archive.