Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: hoare-calculus
12 items with this tag.
Annotation Calculus
hoare-calculus
program-proofing
Conditional (Hoare Calculus)
hoare-calculus
Empty Program (Hoare Calculus)
hoare-calculus
Floyd's Rule (Hoare Calculus)
hoare-calculus
Hoare Calculus
hoare-calculus
Hoare Triple
logic
verification
hoare-calculus
Implication (Hoare Calculus)
hoare-calculus
Loop Invariant
hoare-calculus
program-proofing
Loop Termination (Hoare Calculus)
hoare-calculus
program-proofing
Sequential Composition (Hoare Calculus)
hoare-calculus
Simplified Forward Assignment (Hoare Calculus)
hoare-calculus
Standard Backward Assignment (Hoare Calculus)
hoare-calculus
1
2
Page 1 of 2