PAPERS

Title:Effective Verification of Low-Level Software with Nested Interrupts
Links:Homepage
Document as PDF
Authors:Daniel Kroening EMail
Lihao Liang
Tom Melham
Peter Schrammel
Michael Tautschnig
Remarks:
Topics:

Bibtex:

@inproceedings{klmst2015,
  AUTHOR    = { Kroening, Daniel
                and Liang, Lihao
                and Melham, Tom 
                and Schrammel, Peter
                and Tautschnig, Michael },
  TITLE     = { Effective Verification of Low-Level Software with Nested Interrupts },
  BOOKTITLE = { Design, Automation and Test in Europe (DATE) },
  YEAR      = { 2015 },
  PUBLISHER = { EDA Consortium },
  PAGES     = { 229--234 },
  ISBN      = { 978-3-9815370-4-8 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.