Model Checking Boot Code from AWS Data Centers (2018) [pdf](kroening.com)
kroening.com
Model Checking Boot Code from AWS Data Centers (2018) [pdf]
https://www.kroening.com/papers/cav2018-aws.pdf
0 comments
—
https://www.kroening.com/papers/cav2018-aws.pdf
—