Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534)

From MaRDI portal
Revision as of 02:02, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Ten years of Hoare's logic: A survey. II: Nondeterminism
scientific article

    Statements

    Ten years of Hoare's logic: A survey. II: Nondeterminism (English)
    0 references
    0 references
    1984
    0 references
    partial correctness
    0 references
    total correctness
    0 references
    soundness
    0 references
    completeness
    0 references
    bounded nondeterminism
    0 references
    countable nondeterminism
    0 references
    freedom of failure
    0 references
    fairness
    0 references

    Identifiers