DIET: Developing Implementation and Extending Theory
A Symbolic Approach to Reasoning about LOTOS
Computer failures can be spectacular, and occasionally fatal, therefore
we must find ways of making these systems more reliable.
Formal methods can contribute to achieving this, but the chosen
formalism must reflect the real world system accurately,
otherwise any results proved about the mathematical model may not apply
to the real system. Also, since only small studies can be analysed by
hand, good tool support is required. Lastly, in order to assist and
software engineers applying formal methods it is important to have a
selection of case studies on which to draw.
This is a three year EPSRC funded project with one postdoctoral research
(Dr Jeremy Bryans).
Work on the project has proceeded in three main directions:
Historical documents about the project:
Dr Carron Shankland
Last revision: 20th August 2001