| Title: | Model Checking Boot Code from AWS Data Centers |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Byron Cook |
| Kareem Khazem | |
| Daniel Kroening EMail | |
| Serdar Tasiran | |
| Michael Tautschnig | |
| Mark R. Tuttle | |
| Remarks: | |
| Topics: |
Bibtex:
@article{ckkttt2020,
AUTHOR = { Cook, Byron
and Khazem, Kareem
and Kroening, Daniel
and Tasiran, Serdar
and Tautschnig, Michael
and Tuttle, Mark R. },
TITLE = { Model Checking Boot Code from {AWS} Data Centers },
YEAR = { 2021 },
PAGES = { 34--52 },
JOURNAL = { Formal Methods in System Design (FMSD) },
VOLUME = { 57 },
ISSUE = { 1 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.