![](/img/cover-not-exists.png)
Effective Verification for Low-Level Software with Competing Interrupts
Liang, Lihao, Melham, Tom, Kroening, Daniel, Schrammel, Peter, Tautschnig, MichaelVolume:
17
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3147432
Date:
December, 2017
File:
PDF, 982 KB
english, 2017