Model checking boot code from AWS data centers

DOI10.1007/S10703-020-00344-2OpenAlexW4250014270WikidataQ114689969 ScholiaQ114689969MaRDI QIDQ2050104FDOQ2050104

Authors: Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark Tuttle 

Publication date: 30 August 2021

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-020-00344-2

zbMATH Keywords

model checkingformal verificationfirmwareAmazon Web Services (AWS)boot codeCBMClinker script

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• KLEE
• VCC
• CPAchecker
• UFO
• CBMC
• SatAbs
• seL4
• Coverity
• SMACK
• Klocwork
• QEMU
• Cascade
• GitHub

This page was built for publication: Model checking boot code from AWS data centers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2050104)