Effective Verification for Low−Level Software with Competing Interrupts
Lihao Liang‚ Tom Melham‚ Daniel Kroening‚ Peter Schrammel and Michael Tautschnig
ISSN
1539−9087
Journal
ACM Transactions on Embedded Computing Systems
Month
December
Number
2
Pages
36:1–36:26
Publisher
ACM
Volume
17
Year
2017