Lukas' Notes
Search
Search
Dark mode
Light mode
Precondition
May 01, 2026
1 min read
program
Graph View
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