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

zh-tw 中文 zh-twEnglish

Trace: • 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

 

Courses

 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported

(1) The photo in header is taken by Cyron. (2) tr-money is created by: Mohd Shakir Zakaria for osWiki based on MoneyBlog Wordpress theme by Design Disease