Inferring Loop Invariants Using Postconditions (Q3586008)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Inferring Loop Invariants Using Postconditions
scientific article

    Statements

    Inferring Loop Invariants Using Postconditions (English)
    0 references
    0 references
    0 references
    3 September 2010
    0 references
    correctness proofs
    0 references
    formal specifications
    0 references
    loop invariants
    0 references
    assertion inference
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers