Cook, B;
Khazem, K;
Kroening, D;
Tasiran, S;
Tautschnig, M;
Tuttle, MR;
(2018)
Model checking boot code from AWS data centers.
In: Chockler, H and Weissenbacher, G, (eds.)
Proceedings of International Conference on Computer Aided VerificationComputer Aided Verification - CAV 2018.
(pp. pp. 467-486).
Springer: Cham.