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

%PDF-1.5 %???? 6 0 obj << /Length 2545 /Filter /FlateDecode >> stream xڭX?r????W???? [?$R?c,S k???H]?FK?h8_???,4z??????\*??????\????/?ۇw?T?JYal?W??ʥЙZ%I"??v?9???????????ޕk ?~[???a?٨??h?p?B?rQo????s?5?sJ?q?]?kp?}?$??8???(?Y?_?"??݊?K?IN?U?[???蟉???7Ho?ikw?/?Z]?,?U)œ?Jhر?R$Yz?_??@??z+?4??e2? n?o>>??8r?4??R?n??/q???p_?M?~k?/k?G????x?uu?0?X??k?]{??????L?+L?705Q?Vю>?????5MM"b?.??71???\K????g?$L9 ?˳#c??S=H?.?m?\??6Yn?"??/??l㉜JHL?r?VZB??V??BB.o???}5?76?ѡ8??z(C?W?D?5?ē?kX\??t4?g5?izxiPI????~AC9?F?B2????r? ??e??v?Ņ??Q?һh?x;???????c????F?f???W?)H?3iK?q_????8??J?s|U?,??fE??xB?S۲:1?G[*??U??j_F=??a??T?H?9r?P~7????h(v?2?yv.n???????0??EC?򐷆?h????c] {?֐?`jp?ԣ???݁???g??5???ٹ????rh?a?}Ur?= ?%YFt6??h??e?шW??/?q?E?z?s?~???AM?_?{?S?ro?y)???Kn? ??ni_?s??Rٲ?-??\?8?l?c??w???Y????0Lt?:"5 ???ܚ?kkN.?n???m?{_=?]??ݜ??y3?? ?+?j?z?2??.??Bc?D???6Mq???Y[8???p??|?????F7K?"? } ??t??O???yMY?H4F???@J;????yH~2;M~2?L~@??5ňzᖡ?'?(?ū?????7??{??????~?*????j?kS????r‘??8K?;|!????V?}pʚ??<?G Ͼ*bD?w˻??;x+?Ka??1?q??Ȋ3???4 ??~?{??n.?IPM?B?8?4YLfI???°Aw?(????.jo.??ɗ$8??)??T???}? ?P?SA9????y*4@F??}U&B?%?<N?H??o? zT?D???????|?G =}AYM?ZE?'?g???k?g?0??y??BF???C??+?iDpD?Ώ????Y?8?C-??G?Ǝ =???s?D? ??G?.FGx?iZ? lNZ?i ?sC?1<?l ?P?ُ4X`lX????5????G???V??H!??D *??p?9? ? >?o????(??