Model checking boot code from AWS data centers (Q2050104): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Cascade / rank
 
Normal rank

Revision as of 16:59, 28 February 2024

scientific article
Language Label Description Also known as
English
Model checking boot code from AWS data centers
scientific article

    Statements

    Model checking boot code from AWS data centers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 August 2021
    0 references
    formal verification
    0 references
    model checking
    0 references
    CBMC
    0 references
    boot code
    0 references
    firmware
    0 references
    linker script
    0 references
    Amazon Web Services (AWS)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers