Deep Specifications and Certified Abstraction Layers (Q2819848)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deep Specifications and Certified Abstraction Layers
scientific article

    Statements

    Deep Specifications and Certified Abstraction Layers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    29 September 2016
    0 references
    abstraction layer
    0 references
    certified compilers
    0 references
    certified OS kernels
    0 references
    deep specification
    0 references
    modularity
    0 references
    program verification
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references