Next:
Introduction
Up:
COMP340-08B Lecture Notes
Previous:
COMP340-08B Lecture Notes
Contents
Introduction
Advantages of Formal Methods
State Vector
Most basic code
Examples
Example 1
Example 2
Pieces of Code
Assignment
Concatentation
If-then-else
While
Example
Code
Example One
Example Two
Floyd-Hoare Logic
Hoare Tripple
Example One
Example Two
Example Three
Assignment Rule
Example One
Example Two
Proofs
Weakening Rule
Rule
Example
Concatenation (Composition) Rule
Proof of Soundness
Example
If-rules
While Rule
Lecture Date Map
Lecture Start Notes
9 September 2008
10 September 2008
Revision
11 September 2008
16 September 2008
17 September 2008
18 September 2008
Rigorous Proof of Assignment Rule
Proof One
Proof Two
David Goodwin 2008-09-20