![[PREV]](http://www.cs.reading.ac.uk/icon/prev.gif)
![[UP]](http://www.cs.reading.ac.uk/icon/up.gif)
![[NEXT]](http://www.cs.reading.ac.uk/icon/next.gif)
The lectures will introduce the following topics:
-
Industrial use of formal methods
-
Mathematical notation
(logic, sets, relations, functions, sequences, ...)
-
Schema notation for structuring
-
Case studies
-
Z type-checking / animation
-
Refinement towards a program
Exercises
and
tutorials
and
practicals
will accompany the lectures.
Assessment will involve a
test
and an exercise to produce a small Z specification.
Further information can be found on-line under:
http://www.cs.reading.ac.uk/cs/people/jpb/teaching/z.html
Part of the Part II
Formal Methods unit
(2/CS/3T),
by
Jonathan Bowen and
Nimal Nissanke.