Homeworks and Solutions for Models of Software Systems
Homework 1
: Formal Systems.
Solution 1
(
postscript
).
Homework 2
: Propositional and Predicate Logic.
Solution 2
(
postscript
).
Homework 3
: Sets, Relations, Functions; Proof Techniques (
postscript
).
Solution 3
(
postscript
)..
Homework 4
: Sequences, Induction; State Machines (
postscript
).
Solution 4
(
postscript
).
Homework 5
: State Machines (
postscript
).
Solution 5
.
Homework 6
: Introduction to Z.
Solution 6
(
postscript
).
Homework 7
: More on Z.
Solution 7
(
postscript
).
Homework 8
: Abstraction; Algebraic reasoning (
postscript
).
Solution 8
.
Homework 9
: Concurrency (
postscript
).
Solution 9
.
Homework 10
: CSP I.
Solution 10
.
Homework 11
: CSP II.
Solution 11
.
Homework 12
: Temporal Logic.
Solution 12
.
Homework 13
: Petri Nets.
Solution 13
.