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 guide 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 fellow (Dr Jeremy Bryans).

Work on the project has proceeded in three main directions:

Historical documents about the project:
[] Research   [] Teaching   [] CV   [] Personal   [Home] Home
Dr Carron Shankland    Email: [email me]    Last revision: 20th August 2001