On invariant checking (Q394493)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On invariant checking
scientific article

    Statements

    On invariant checking (English)
    0 references
    0 references
    0 references
    27 January 2014
    0 references
    Floyd-Hoare logic
    0 references
    invariant generation
    0 references
    program verification
    0 references
    program debugging
    0 references
    loop invariants
    0 references
    0 references
    0 references

    Identifiers