School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships & funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Research
  3. Research Projects
School of Mathematics, Computer Science & Engineering

TRUST

(Testing for Reliability Using Systematic Techniques)

Duration: 1986-89
Funding source: ESPRIT
Partners: University of Liverpool; Liverpool Data Research Associates Ltd; Software Engineering Services GmbH, Munich; John Bell Systems Ltd
Funding to CSR: £98,000