Tag: hoare-calculus

11 items with this tag.

Jan 10, 2026
Standard Backward Assignment (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Simplified Forward Assignment (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Sequential Composition (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Loop Invariant
- hoare-calculus
- program-proofing
Jan 10, 2026
Implication (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Hoare Calculus
- hoare-calculus
Jan 10, 2026
Hoare Triple
Jan 10, 2026
Floyd's Rule (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Empty Program (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Conditional (Hoare Calculus)
- hoare-calculus
Jan 10, 2026
Annotation Calculus
- hoare-calculus
- program-proofing