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.

The DIET project addresses these points by extending the support available for a particular formal method (LOTOS). The main tasks of the project are to:

The project ran from January 1999 to April 2002, supported by EPSRC. One postdoctoral research fellow was employed during this time (Dr Jeremy Bryans).

Find out more about:

[] Research   [] Teaching   [] CV   [] Personal   [Home] Home
Dr Carron Shankland    Email: [email me]    Last revision: 18th November 2002