Lukas' Notes

Precondition

1 min read

Backlinks

Annotation Calculus
Correct Program
Floyd's Rule (Hoare Calculus)
Hoare Calculus
Implication (Hoare Calculus)
Loop Invariant
Loop Termination (Hoare Calculus)
Strongest Postcondition
Weakest Liberal Precondition
Weakest Precondition

Created with Quartz v4.5.2 © 2026

GitHub