Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: program-proofing
24 items with this tag.
Annotation Calculus
hoare-calculus
program-proofing
Assertion
program-proofing
Complete Program Run
program-proofing
Correct Program
program-proofing
Deterministic Program Transition
program-proofing
Final Program Configuration
program-proofing
Finite Program Run
program-proofing
Ghost
program-proofing
Infinite Program Run
program-proofing
Loop Invariant
hoare-calculus
program-proofing
Loop Termination (Hoare Calculus)
hoare-calculus
program-proofing
Nondeterministic Program Transition
program-proofing
Partially Correct Program
program-proofing
Program Configuration
program-proofing
Program Proofing
program-proofing
Program Run
program-proofing
Program Semantics
program-proofing
Program State
program-proofing
Program Transition
program-proofing
Strongest Postcondition
program-proofing
Stuck Program Configuration
program-proofing
Totally Correct Program
program-proofing
Weakest Liberal Precondition
program-proofing
Weakest Precondition
program-proofing
1
2
3
Page 1 of 3