A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.
['Bernard Schmidt', 'Carlos Villarraga', 'Thomas Fehmel', 'Dominik Stoffel', 'Wolfgang Kunz', 'Jörg Bormann']
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software.