Professional Documents
Culture Documents
Dr. Yawar
Some Slides are taken from VU Formal Methods for SE
Explanation
Example
• {x+1=43}y:=x+1 {y=43}
And
{y=43}z:=y {z=43}
Using the sequencing rule, we have
{x+1=43}y:=x+1;z:=y {z=43}
Explanation
Rule of Sequential Composition