Effective verification of low−level software with nested interrupts
Daniel Kroening‚ Lihao Liang‚ Tom Melham‚ Peter Schrammel and Michael Tautschnig
Book Title
Design‚ Automation & Test in Europe Conference & Exhibition‚ DATE 2015
Pages
229–234
Publisher
ACM
Year
2015