Effective verification of low-level software with nested interrupts.

Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig

Browse the full DATE paper archive.