Effective Verification of Low−Level Software with Nested Interrupts
Daniel Kroening‚ Lihao Liang‚ Tom Melham‚ Peter Schrammel and Michael Tautschnig
Book Title
Proceedings of the 2015 Design‚ Automation & Test in Europe Conference & Exhibition‚ DATE 2015‚ Grenoble‚ France‚ March 9−13‚ 2015
Editor
Wolfgang Nebel and David Atienza
ISBN
978−3−9815370−4−8
Pages
229–234
Publisher
EDA Consortium
Year
2015