PAPERS

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:
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 },
  NOTE      = { To appear. },
  YEAR      = { 2017 },
  JOURNAL   = { ACM Transactions on Embedded Computing Systems (TECS) },
  VOLUME    = { 17 },
  NUMBER    = { 2 },
}

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