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 Software Systems.

The principal aim of the laboratory remains focus on:

The study, analysis and advancement of formal approaches to the specification, 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 follows.

• 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.