Model Checking Boot Code from AWS Data Centers (2018) [pdf]kroening.com1 point·imakwana··0 commentsOpen articleSaveView on HN