by B. Schlich, T. Noll, J. Brauer, L. Brutschy
Reference:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software (B. Schlich, T. Noll, J. Brauer, L. Brutschy), In Haifa Verification Conference (HVC 2009), Haifa, Israel, Springer, volume 6405, 2009.
Bibtex Entry:
@inproceedings { SNBB09, author = { Schlich, B. and Noll, T. and Brauer, J. and Brutschy, L. }, title = { Reduction of Interrupt Handler Executions for Model Checking Embedded Software }, booktitle = { Haifa Verification Conference (HVC 2009), Haifa, Israel }, year = { 2009 }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SNBB09.pdf }, publisher = { Springer }, series = { Lecture Notes in Computer Science }, volume = { 6405 }, pages = { 5--20 }, i11key = { conference }, for_reporting_period = { Old }, }