Model Checking Boot Code from AWS Data Centers.

Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Browse the full CAV paper archive.