Model checking boot code from AWS data centers

DOI10.1007/S10703-020-00344-2MaRDI QIDQ2050104zbMATH OpenOpenAlexWikidataFDO

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)

Copyright license Creative Commons Attribution 4.0 International

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)

Describes a project that uses

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)