Using model checking tools to triage the severity of security bugs in the Xen hypervisor

التفاصيل البيبلوغرافية
العنوان:	Using model checking tools to triage the severity of security bugs in the Xen hypervisor
المؤلفون:	Cook, Byron, Dobel, Bjorn, Kroening, Daniel, Manthey, Norbert, Pohlack, Martin, Polgreen, Elizabeth, Tautschnig, Michael, Wieczorkiewicz, Pawel
المصدر:	2020 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2020. :185-193 Sep, 2020
Relation:	2020 Formal Methods in Computer Aided Design (FMCAD)
قاعدة البيانات:	IEEE Xplore Digital Library