Tag: program-proofing

24 items with this tag.

May 01, 2026
Weakest Precondition
- program-proofing
May 01, 2026
Weakest Liberal Precondition
- program-proofing
May 01, 2026
Totally Correct Program
- program-proofing
May 01, 2026
Stuck Program Configuration
- program-proofing
May 01, 2026
Strongest Postcondition
- program-proofing
May 01, 2026
Program Transition
- program-proofing
May 01, 2026
Program Configuration
- program-proofing
May 01, 2026
Program Proofing
- program-proofing
May 01, 2026
Program Run
- program-proofing
May 01, 2026
Program Semantics
- program-proofing
May 01, 2026
Program State
- program-proofing
May 01, 2026
Partially Correct Program
- program-proofing
May 01, 2026
Nondeterministic Program Transition
- program-proofing
May 01, 2026
Loop Invariant
- hoare-calculus
- program-proofing
May 01, 2026
Loop Termination (Hoare Calculus)
- hoare-calculus
- program-proofing
May 01, 2026
Infinite Program Run
- program-proofing
May 01, 2026
Ghost
- program-proofing
May 01, 2026
Final Program Configuration
- program-proofing
May 01, 2026
Finite Program Run
- program-proofing
May 01, 2026
Deterministic Program Transition
- program-proofing
May 01, 2026
Correct Program
- program-proofing
May 01, 2026
Complete Program Run
- program-proofing
May 01, 2026
Assertion
- program-proofing
May 01, 2026
Annotation Calculus
- hoare-calculus
- program-proofing