Hacker News new | ask | show | jobs
Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
1 points by imakwana 255 days ago