Model Checking Boot Code from AWS Data Centers (2018) [pdf]

1 points| imakwana | 4 months ago |kroening.com