Building High Integrity Applications with SPARK (Q2947225)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Building High Integrity Applications with SPARK
scientific article

    Statements

    Building High Integrity Applications with SPARK (English)
    0 references
    0 references
    0 references
    22 September 2015
    0 references
    program verification
    0 references
    programming with contracts
    0 references
    assertions
    0 references
    precondition
    0 references
    postcondition
    0 references
    theorem proving
    0 references
    SPARK
    0 references
    Ada
    0 references
    0 references
    0 references
    0 references

    Identifiers