Infinite proof rules for loops (Q1138900)

From MaRDI portal
Revision as of 02:20, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Infinite proof rules for loops
scientific article

    Statements

    Infinite proof rules for loops (English)
    0 references
    0 references
    1980
    0 references
    infinite proof rules
    0 references
    inductive assertions
    0 references
    loop invariants
    0 references
    partial correctness
    0 references
    generalized invariants
    0 references

    Identifiers