Title: | Effective Verification for Low-Level Software with Competing Interrupts |
---|---|
Links: | Homepage Document as PDF |
Authors: | Daniel Kroening EMail |
Lihao Liang | |
Tom Melham | |
Peter Schrammel | |
Michael Tautschnig | |
Remarks: | |
ISSN: | 1539-9087 |
Topics: |
Bibtex:
@article{klmst2017, AUTHOR = { Kroening, Daniel and Liang, Lihao and Melham, Tom and Schrammel, Peter and Tautschnig, Michael }, TITLE = { Effective Verification for Low-Level Software with Competing Interrupts }, YEAR = { 2018 }, JOURNAL = { ACM Transactions on Embedded Computing Systems (TECS) }, VOLUME = { 17 }, MONTH = { April }, NUMBER = { 2 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.