Model checking boot code from AWS data centers

DOI10.1007/s10703-020-00344-2OpenAlexW4250014270WikidataQ114689969 ScholiaQ114689969MaRDI QIDQ2050104

Michael Tautschnig, Serdar Tasiran, Byron Cook, Kareem Khazem, Mark R. Tuttle, Daniel Kroening

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

formal verificationmodel checkingfirmwareAmazon Web Services (AWS)boot codeCBMClinker script

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

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

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