Handouts for Models of Software Systems
Handout 1
:
Course Information
Handout 2
:
Equational Reasoning
(
postscript
)
Handout 3
:
Other Proof Techniques & Hints
(
postscript
)
Handout 4
:
State Machine Basics
(
postscript
)
Handout 5
:
Variations on State Machines
(
postscript
)
Handout 6
:
Reasoning about State Machines
(
postscript
)
Handout 7
:
Structural Induction
(
postscript
)
Handout 7a
:
Telephone Net
(
postscript
)
Handout 8
:
Relating State Machines: Equivalence
(
postscript
)
Handout 9
:
Relating State Machines: Satisfies
(
postscript
)
Handout 10
:
Mod7 Counter Satisfies Days
(
postscript
)
Handout 11
:
Seq Satisfies Set
(
postscript
)
Handout 12
:
Concurrency
(
postscript
)
Handout 13
:
Shared Memory Model
(
postscript
)