The Software Technology Research Laboratory (STRL) at De Montfort
University is committed to a programme of sustained academic
excellence in research, training and postgraduate education in
The principal aim of the laboratory remains focus on:
The study, analysis and advancement of formal approaches to the
design and (re-)engineering of computing systems with emphasis
being placed on those which are used in (distributed) real-time,
safety critical and high-integrity applications.
The national and international significance of this mission is as
To be one of the leading national and international sources of expertise on the development of provably correct computer systems methods and tools.
To play a key role in enabling the University to
develop an international reputation for the industrial production of
provably correct computer systems.