Lukas' Notes
Search
Search
Dark mode
Light mode
Precondition
Jan 10, 2026
1 min read
program
Graph View
Backlinks
Annotation Calculus
Floyd's Rule (Hoare Calculus)
Hoare Calculus
Loop Invariant
Strongest Postcondition
Weakest Precondition