zh-tw:hoare [2012 Formosan Summer School on Logic, Language, and Computation (FLOLAC '12)]

足跡: • hoare

Hoare Logic

Lecturer: Yu-Fang Chen (IIS, Academia Sinica)

Outline

Prove Program Correctness
- WHILE program
- Hoare Triple

Axioms and Rules
- Assignment Axiom
- Composition Rule
- Conditional Rule
- Iteration Rule

Slides Homework