Formal Methods for Software Engineering

Topic

(Click to Download Power Point Slides)

Introduction

lecture 1
(
PDF)

Operations

lecture 2
(
PDF)

Robustness, composition, preconditions

lecture 3
(
PDF)

Process Algebra

lecture 4
(PPT)

Process Algebra

lecture 5
(PPT)

Process Algebra

lecture 6
(PPT)

Process Algebra

lecture 7
(PPT)

An industrial FSP variant: SDL

lecture 8
(PPT)

SDL, MSC and the Tau tool

lecture 9
(PPT)

SDL, MSC and the Tau tool

lecture 10
(PPT)

No comments: