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

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