PAPERS

Title:Model Checking Boot Code from AWS Data Centers
Links:Document as PDF
Authors:Byron Cook
Kareem Khazem
Daniel Kroening EMail
Serdar Tasiran
Michael Tautschnig
Mark R. Tuttle
Remarks:
Topics:

Bibtex:

@inproceedings{ckkttt2018,
  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 },
  BOOKTITLE = { Computer Aided Verification (CAV) },
  NOTE      = { To appear. },
  PUBLISHER = { Springer },
  SERIES    = { LNCS },
}

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